The 10th International Workshop on Satisfiability Checking and Symbolic Computation will be held on 2 August 2025, Stuttgart, Germany. It will be collocated with CADE 2025

The proceedings of the workshop will be published through CEUR-WS.org, and will include full papers and extended abstracts. Furthermore, we are working to organize post-proceedings in an issue of the Springer journal Mathematics in Computer Science dedicated to the workshop. Authors of all four categories will be eligible for submission of a corresponding journal article. Journal versions of full papers require at least 30% new material compared to the version originally accepted. All journal submissions will be thoroughly peer-reviewed according to the standards of the journal.

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:

Submissions and Participation

The workshop series has emerged from an H2020 FETOPEN CSA project "SC-Square", which ran from 2016 to 2018. It has been continued aiming at building bridges bewteen Satisfiability Checking and Symbolic Computation. It is open for submission and participation to everyone interested in the topics, whether or not they were members or associates of the original project.

The topics of interest include but are not limited to:

Registration

Registration to the workshop will be available via CADE 2025 web site.

Presentation

The presentation should be made in person. However, virtual presentations are permitted but must be justified in advance and approved by the program chairs. Acceptable justifications may include, but are not limited to, time constraints or financial limitations.

Submission guidelines

Submission implies a committment that, in case of acceptance, at least one of the authors attends and presents at the workshop. We are now accepting submissions in the following categories:

Submissions should be in English, formatted in Springer LNCS style and submitted via EasyChair using this link:
https://easychair.org/conferences/?conf=cade30 choosing the 10th SC-Square Workshop track.

To receive the appropriate level of peer review, please declare your category of your submission by prefixing the title on the EasyChair form with "FP", "EA" or "PO" accordingly. For consistency, all submissions must use the LNCS style. Current llncs latex files are available from "LaTeX2e Proceedings Templates download" at:
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines

Important Dates

Committees

Workshop Co-chairs

Program Committee

Earlier Workshops and Their Published Proceedings

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