[SMT-LIB] Call for Papers: Satisfiability Checking and Symbolic Computation (deadline 15 July)

[Pascal Fontaine]

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/ <http://www.loria.fr/%7Efontaine/>

 

===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/ <http://www.dima.unige.it/%7Ebigatti/>

 

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/ <http://www.orcca.on.ca/%7Ecchen/>

 

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/
<http://computing.coventry.ac.uk/%7Emengland/>

 

Stephen Forrest (Maplesoft Europe Ltd)

 

Vijay Ganesh (University of Waterloo, Canada)

https://ece.uwaterloo.ca/~vganesh/ <https://ece.uwaterloo.ca/%7Evganesh/>

 

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/
<http://www.mathematik.uni-kassel.de/%7Eseiler/>

 

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/
<http://homepage.cs.uiowa.edu/%7Etinelli/>

 

Ashish Tiwari (SRI, Menlo Park, CA, USA)

http://www.csl.sri.com/users/tiwari/