| Workshop Scope | Important Dates and Venue | Speakers | Submission and Participation |
The 10th International Workshop on Satisfiability Checking and Symbolic Computation will be held on TBA, Oldenburg, Germany. It will be collocated with ISSAC 2026
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 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:
- Satisfiability Checking for Symbolic Computation
- Symbolic Computation for Satisfiability Checking
- Applications relying on both Symbolic Computation and Satisfiability Checking
- Combination of Symbolic Computation and Satisfiability Checking tools
- Quantifier elimination and decision procedures and their embedding into logic provers, including but not limited to SMT solvers, and computer algebra software
- Computational Geometry
- Formalized mathematics
- Application of machine learning in a formal setting
Registration
TBA
Earlier Workshops and Their Published Proceedings
This is the 10th workshop in the series originally created by the H2020 FETOPEN CSA project "SC-Square".
- The First SC2 Workshop took place in Timisoara, Romania, in 2016. Proceedings at CEUR-WS
- The Second SC2 Workshop took place in Kaiserslautern, Germany, in 2017. Proceedings at CEUR-WS
- The Third SC2 Workshop took place in Oxford, UK, in 2018. Proceedings at CEUR-WS
- The Fourth SC2 Workshop took place in Bern, Switzerland, in 2019. Proceedings at CEUR-WS
- The Fifth SC2 Workshop was held virtially, originally to be in Paris, France, in 2020. Proceedings at CEUR-WS
- The Sixth SC2 Workshop was held virtually, originally to be in College Station, TX, in 2021.
- The Seventh SC2 Workshop took place in Haifa, Israel, in 2022. Proceedings at CEUR-WS
- The Eighth SC2 Workshop took place in Tromsø, Norway, in 2023. Proceedings at CEUR-WS
- The Ninth SC2 Workshop took place in Nancy, France, 2024. Proceedings at CEUR-WS.
- The Tenth SC2 Workshop took place in Stuttgart, Germany, 2025.