The 5th International Workshop on Satisfiability Checking and Symbolic Computation was held (virtually, because of Covid-19) on July 5th, as part of IJCAR 2020 in Paris, France.

The 5th Workshop on Satisfiability Checking and Symbolic Computation (SC^2) is part of "Paris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at UniversiteParis 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events.

Important dates

Submissions: Fri. 10 April 2020
Notification:Fri. 8 May 2020
Final version:Fri. 29 May 2020
Workshop:Sun. 5 July 2020


These are published here.

Workshop Scope

Symbolic Computation is concerned with the efficient algorithmic determination of exact solutions to complicated mathematical problems. Satisfiability Checking has recently started 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 for 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 is to provide an opportunity to discuss, share knowledge and experience across both communities.

Submitting to the Workshop

A copy of the Call for Papers is available on EasyChair.

The workshop is open for submission and participation to everyone interested in the topics, whether or not they were members or associates of the (now finished) H2020 FETOPEN CSA project "SC-Square".

The topics of interest include but are not limited to:

Submission guidelines

Submissions should be in English, formatted in Springer LNCS style and submitted via EasyChair using this link: EasyChair

We invite three types of submissions:

To receive the appropriate level of peer review, please declare the category of your submission by prefixing the title on the Easychair form with "NP", "EA" or "PO" accordingly.

For consistency, all submissions must use the LNCS style. The style files are here: LNCS style files (ZIP format). We plan to publish the proceedings of the workshop digital form, hosted with CEUR-WS. Authors may opt out of this, should they prefer to publish the material elsewhere.

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

Earlier Workshops and their published proceedings

This is the 5-th workshop in the series originally created by the H2020 FETOPEN CSA project "SC-Square".

Workshop Co-chairs

Program Committee