The 7th International Workshop on Satisfiability Checking and Symbolic Computation will be held on August 12, 2022, at Haifa, Israel. It will be a part of International Joint Conference on Automated Reasoning 2022, at FLOC 2022.

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.


Keynote Speakers: TBA


Submissions and Participation

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

We now are accepting submissions to be included in the workshop proceedings.

We invite three types of submissions:

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

For consistency, all submissions must be in English and use the LNCS style. The style files are here: Information for Authors of Springer Computer Science Proceedings.

We plan to publish the proceedings of the workshop digital form, hosted with CEUR-WS (see Authors may opt out of this, should they prefer to publish the material elsewhere.

Submissions should be entered to the EasyChair system through the link before the submission deadline.

Key Dates

Earlier Workshops and their published proceedings

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

Workshop Co-chairs

Program Committee