The Second International Workshop on Satisfiability Checking and Symbolic Computation will be held on Saturday 29th July 2017 at the University of Kaiserslautern, Kaiserslautern, Rheinland-Pfalz, Germany.

Important dates

Submission deadlineMay 27, 2017
NotificationJune 24, 2017
Final versionJuly 15, 2017
Workshop dateJuly 29, 2017

Call for papers

The Call for Papers is available here.

Invited Speaker

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:

Related Events

We note that there are a number of related events occuring adjacent in the vicinity: 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.

Submission information

Submissions should be written in English, and submitted via EasyChair at the link below:
We invite two types of submissions:

The category should be declared upon submission for the appropriate level of peer review. Both categories have a page limit of 15 pages in the LNCS style (click for the Latex style files or MS Word Template). The LNCS style has been chosen for consistency only rather than publication with Springer. All papers will be included in the local proceedings distributed at the event. Authors can then also opt into digital proceedings hosted with CEUR-WS.

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


Program Committee