The Second International Workshop on Satisfiability Checking and Symbolic Computation was held on Saturday 29th July 2017 at the University of Kaiserslautern, Kaiserslautern, Rheinland-Pfalz, Germany.
Announcements
Update: The JSC Special Issue Call has now been made!
Click here for full details on the special issue.
The proceedings of the workshop have been publihsed as Volume 1974 of CEUR-WS.
Program
The program has been announced!
- Click here for List of Talks, with abstracts and links to papers and slides.
- Click here for the Schedule.
Location
The Workshop takes place in Building 48 of the University of Kaiserslautern.
The talks are in room 208/210 on the Ground Level and coffee breaks in room 436.
Click here for a campus map.
For Local Information (travel and accommadation) we refer to the ISSCA 2017 webpage on these topics:
http://www.issac-symposium.org/2017/local.php
Registration
There will not be any registration fee at the workshop - costs will be covered by the EU CSA on SC-Square.
However, for catering purposes we please ask participants to register by filling in this Google Form.
Invited Speaker
Jeremy Avigad (Carnegie Mellon University) will speak on The Lean Theorem Prover
JSC Special Issue
The SC-square Consortium has been asked by the Editor-in-Chief to prepare a special issue of the Elsevier Journal of Symbolic Computation (JSC) on Satisfiability Checking and Symbolic Computation. Authors are invited to submit extended versions of their workshop papers to the JSC special issue. Click here for full details.Call for Papers
The Final Call for Papers is available here.Workshop 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.
This is the second workshop in the series. The First SC2 Workshop took place in Timisoara, Romania in 2016 and the Third SC2 Workshop will take place in Oxford, UK in 2018.
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
Related Events
We note that there are a number of related events occurring adjacent in the vicinity:- 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, Germany.
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 M. Bigatti (Universita degli studi di Genova, Italy)
- James H. Davenport (University of Bath, U.K.)
- Pascal Fontaine (Université de Lorraine, Inria, Loria, Nancy, France)
- 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, 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)
