[SMT-LIB] SC² first call for papers

[Pascal Fontaine]

FIRST CALL FOR PAPERS

SC-square 2016
==============

First International Workshop on Satisfiability Checking and Symbolic
Computation
September 24, 2016, Timisoara, Romania
Affiliated with SYNASC 2016

http://www.sc-square.org/CSA/workshop1.html

===Important dates===

Submission deadline: July 15, 2016
Notification: August 11, 2016   
Final version: August 31, 2016
Workshop date: September 24, 2016

===General information===

The First International Workshop on Satisfiability Checking and Symbolic
Computation will be held on 24th September, 2016 in Timisoara, Romania. 
It is affiliated to the 18th International Symposium on Symbolic and
Numeric Algorithms for Scientific Computing, SYNASC 2016.

===Scope===

Symbolic Computation is concerned with the algorithmic determination of
exact solutions to complex mathematical problems; more recent
developments in the area of Satisfiability Checking are starting to
tackle similar problems but with different algorithmic and technological
solutions.  The two communities share many central interests, but
researchers from these two communities rarely interact.  Also, the lack
of common or compatible interfaces of tools is an obstacle to their
fruitful combination.  Bridges between the communities in the form of
common platforms and road-maps are necessary to initiate an exchange,
and to support and direct their interaction. The aim of this workshop,
along the SC-square H2020 FETOPEN Coordination and Support Activity
project, is to provide a time to discuss, share knowledge and experience
across both communities.

The workshop is open for submission and participation to everyone
interested in the topics, whether they are members or associates of the
SC-square H2020 FETOPEN CSA project or not.

The topics of interest include but are not limited to:

    Decision procedures and their embedding into SMT solvers and
computer algebra systems
    Satisfiability Checking for Symbolic Computation
    Symbolic Computation for Satisfiability Checking
    Applications relying on both Symbolic Computation and Satisfiability
Checking
    Combination of Symbolic Computation and Satisfiability Checking tools

===Submission information===

Submissions should be written in English, formatted according to the
IEEE guidelines, and submitted via EasyChair at
https://easychair.org/conferences/?conf=scsquare2016 .  We invite two
kinds of submissions, both having an upper page limit of 8 pages:

    Regular papers, describing research not published or submitted
elsewhere.  These papers will be thoroughly reviewed by the Program
Committee, and included in the local proceedings distributed at the
event.  The authors can opt in for the selection process to appear as
well in the IEEE post-proceedings of SYNASC.
    Extended abstracts, which are either position papers, description of
research prospects, challenges, projects, ongoing works, or applications
relevant to SC-square.  They will be peer-reviewed and will be included
in the local proceedings.

People from industries and businesses are warmly invited to submit
papers to describe their problems, challenges, goals, and expectations
for the SC-square community.

The IEEE guidelines can be found here:
https://www.ieee.org/conferences_events/conferences/publishing/templates.html

===Keynote Speaker===

 Christopher W. Brown (United States Naval Academy, USA)

===Workshop Co-Chairs===

 Erika Abraham (RWTH Aachen University, Aachen, Germany)
http://www-i2.informatik.rwth-aachen.de/i2/eab/
 Pascal Fontaine (Universite de Lorraine, Inria, Loria, Nancy, France)
http://www.loria.fr/~fontaine/

===Program Committee===

John Abbott (Universitaet Kassel, Kassel, Germany)
https://www.uni-kassel.de/fb10/institute/mathematik/personen/wissenschaftliche-mitarbeiter/person/1666-John-Abbott.html

Bernd Becker (Albert-Ludwigs-Universitaet, Freiburg, Germany)
http://ira.informatik.uni-freiburg.de/src/team_view.php?teamID=4

Anna M. Bigatti (Universita degli studi di Genova, Italy)
http://www.dima.unige.it/~bigatti/

Martin Brain (University of Oxford, U.K.)
https://www.cs.ox.ac.uk/people/martin.brain/

Bruno Buchberger (Johannes Kepler Universitaet, Linz, Austria)
http://www.risc.jku.at/people/buchberger/

Changbo Chen (Chinese Academy of Sciences, China)
http://www.orcca.on.ca/~cchen/

James H. Davenport (University of Bath, U.K.)
http://people.bath.ac.uk/masjhd/

Matthew England (Coventry University, U.K.)
http://computing.coventry.ac.uk/~mengland/

Stephen Forrest (Maplesoft Europe Ltd)

Vijay Ganesh (University of Waterloo, Canada)
https://ece.uwaterloo.ca/~vganesh/

Alberto Griggio (Fondazione Bruno Kessler, Trento, Italy)
https://es-static.fbk.eu/people/griggio/

Daniel Kroening (University of Oxford, U.K.)
http://www.kroening.com/

Werner Seiler (Universitaet Kassel, Germany)
http://www.mathematik.uni-kassel.de/~seiler/

Thomas Sturm (CNRS, Nancy, France and MPI Informatik, Germany)
http://www.mpi-inf.mpg.de/departments/automation-of-logic/people/thomas-sturm/

Cesare Tinelli (The University of Iowa, USA)
http://homepage.cs.uiowa.edu/~tinelli/

Ashish Tiwari (SRI, Menlo Park, CA, USA)
http://www.csl.sri.com/users/tiwari/