[Om-announce] [ISSAC-ANNOUNCE] SC-Square 2017 Workshop (Satellite of and adjacent to ISSAC 2017)
m.england.uni at GMAIL.COM
Thu Apr 6 15:37:12 CEST 2017
SECOND CALL FOR PAPERS
Second International Workshop on Satisfiability Checking and Symbolic
July 29, 2017, University of Kaiserslautern, Kaiserslautern, Germany
Submission deadline: May 27, 2017
Notification: June 24, 2017
Final version: July 15, 2017
Workshop date: July 29, 2017
Jeremy Avigad (Carnegie Mellon University)
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
- Satisfiability Checking for Symbolic Computation
- Symbolic Computation for Satisfiability Checking
- Applications relying on both Symbolic Computation and Satisfiability
- Combination of Symbolic Computation and Satisfiability Checking tools
We note that there are a number of related events occurring adjacent in the
- The 15th International Workshop on Satisfiability Modulo
Theories (SMT '17)
22-23 July 2017, Heidelberg, Germany.
- The 29th International Conference on Computer-Aided
Verification (CAV '17)
24-28 July 2017, Heidelberg, Germany.
- The 42nd International Symposium on Symbolic and
Algebraic Computation (ISSAC '17)
25-28 July 2017, Kaiserslautern, Germany.
- The 2nd International Workshop on Satisfiability Checking
and Symbolic Computation (SC2 2017)
29 July 2017, Kaiserslautern, Germany.
- The SC2 Summer School 2017
31 July - 4 August 2017, Saarbrücken,
SC2 '17 is formally a satellite workshop of ISSAC '17. Please note that
Kaiserslautern - Saarbrücken is less than an hour apart by train or car;
and Kaiserslautern - Heidelberg is 90 minutes.
Submissions should be written in English, formatted in LNCS style and
submitted via EasyChair at the link below:
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
- 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
Vijay Ganesh (University of Waterloo, Canada)
Matthew England (Coventry University, UK)
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,
Stephen Forrest (Maplesoft)
Mark Giesbrecht (University of Waterloo, Canada)
Alberto Griggio (Fondazione Bruno Kessler, Trento, Italy)
Dejan Jovanovic (SRI, USA)
Ilias Kotsireas (Wilfrid Laurier University,
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,
Wolfgang Windsteiger (Johannes Kepler Universität, Linz,
You may leave the ISSAC-ANNOUNCE list at any time by sending a "SIGNOFF ISSAC-ANNOUNCE" command to LISTSERV at LISTSERV.ACM.ORG or by visiting http://listserv.acm.org/archives/ISSAC-ANNOUNCE.html.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Om-announce