[SMT-LIB] SC-square 2017: 1st call for papers

[Alberto Griggio]

FIRST CALL FOR PAPERS

SC-square 2017
==============

Second International Workshop on Satisfiability Checking and Symbolic
Computation

July 29, 2017, Germany

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


===Important dates===

Submission deadline:    May 27, 2017
Notification:    June 24, 2017
Final version:    July 15, 2017
Workshop date:    July 29, 2017


===General information===

The First International Workshop on Satisfiability Checking and Symbolic
Computation will be held on Saturday 29th July 2017 in Germany.  It
takes place inbetween the following two related events:

  - The 42nd International Symposium on Symbolic and Algebraic
    Computation (ISSAC '17): 25-28 July 2017, Kaiserslautern,
    Germany.

  - The SC2 Summer School 2017: 31 July - 4 August 2017,
    Saarbrücken, Germany.

The workshop will be held in either Kaiserslautern or Saarbrücken (exact
location to be confirmed shortly).


===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 in LNCS style and
submitted via EasyChair at the link below:
https://easychair.org/conferences/?conf=scsquare2017

We invite two types of submissions, each with a page limit of 15 pages
in the LNCS style.

  - Regular papers, describing research not published or submitted
    elsewhere.
  - Extended abstracts, which are either position papers, description
    of research prospects, challenges, projects, ongoing works, or
    applications relevant to SC-square.

The category should be declared upon submission for the appropriate
level of peer review.

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


===Workshop Co-Chairs===

  Vijay Ganesh (University of Waterloo, Canada)
  Matthew England (Coventry University, UK)

===Program Committee===

  Erika Ábrahám (RWTH Aachen University, Germany)
  Jeremy Avigad (Carnegie Mellon University, USA)
  Anna Bigatti (Universita degli studi di Genova, Italy)
  James H. Davenport (University of Bath, U.K.)
  Pascal Fontaine (Université de Lorraine, Inria, Loria, Nancy, France)
  Mark Giesbrecht    (University of Waterloo, Canada)
  Alberto Griggio (Fondazione Bruno Kessler, Trento, Italy)
  Dejan Jovanovic (SRI, USA)
  Ilias Kotsireas    (Wilfrid Laurier University, Canada)
  Daniel Kroening    (University of Oxford, U.K.)
  Felix Neubauer (University of Freiburg, Germany)
  Grant Olney Passmore (Aesthic Integration, U.K.)
  Werner Seiler (Universität Kassel, Germany)
  Thomas Sturm (CNRS, Nancy, France and MPI Informatik, Germany)
  Wolfgang Windsteiger (Johannes Kepler Universität, Linz, Austria)