Aerial view of old center of Bern [from Wikipedia]

The 4th International Workshop on Satisfiability Checking and Symbolic Computation will be held on Wednesday 10 July 2019 in Bern, Switzerland. It will be minisymposium at The SIAM Conference on Applied Algebraic Geometry 2019.

Important dates

Submissions: Sat. 20 April 2019 EXTENDED TO
Sun. 28 April 2019
Notification:Sat. 18 May 2019
Final version:Fri. 31 May 2019
Workshop:Wed. 10 July 2019
Proceedings:CEUR volume 2460


Invited Speaker

Andreas Weber (University of Bonn, Germany).

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 also 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:

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 4-th workshop in the series originally created by the H2020 FETOPEN CSA project "SC-Square".

Location, Travel, Accommodation, Registration

Remember that Switzerland is not part of the "Schengen Area"!

From the main SIAM AG website:

Workshop Co-chairs

Program Committee


Maplesoft Maplesoft™ is the leading provider of high-performance software tools for engineering, science, and mathematics. Maplesoft’s flagship product, Maple, combines the world’s most powerful mathematics engine with an interface that makes it extremely easy to analyze, explore, visualize, and solve mathematical problems.


6 March 2019: Added info about invited speaker
8 February 2019: Added links for registration, travel support, and find-a-room-mate
25 January 2019: Minor revisions/corrections
23 January 2019: First publication of CFP