view from carfax tower oxford

The Third International Workshop on Satisfiability Checking and Symbolic Computation will be held in July 2018 (exact date TBC) in Oxford, UK. It will be part of The 2018 Federated Logic Conference.

Important dates

Submission deadlineTBA, 2018
Workshop date11 July, 2018

Previous workshops

2016 First SC2 Workshop Timisoara, Romania
2017 Second SC2 Workshop Kaiserslautern, Germany





Invited Speaker

Call for Papers

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 third workshop in the series. The First SC2 Workshop took place in Timisoara, Romania in 2016; and the Second SC2 Workshop took place in Kaiserslautern, Germany in 2017.

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:


Program Committee