[Om-announce] SC-square 2016 -- First International Workshop on Satisfiability Checking and Symbolic Computation

[James Davenport]

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/

*****
You may leave the SIGSAM-FRIENDS list at any time by sending a "SIGNOFF SIGSAM-FRIENDS" command to LISTSERV at LISTSERV.ACM.ORG or by visiting http://listserv.acm.org/archives/SIGSAM-FRIENDS.html.