| Workshop Scope | Important Dates and Venue | Speakers | Submission and Participation |
The 11th International Workshop on Satisfiability Checking and Symbolic Computation will be held on July 13, Oldenburg, Germany. It will be collocated with ISSAC 2026.
The proceedings of the workshop will be published through CEUR-WS.org, and will include full papers and extended abstracts.
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:
- Anna Maria Bigatti (Università degli Studi di Genova, Italy)
- Mahsa Shirmohammadi (CNRS, Université Paris Cité, France)
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:
- Computer Algebra and Symbolic Computation (CA)
- Satisfiability Checking (SAT/SMT)
- Algorithms for logical theories of arithmetics, including quantifier elimination and decision procedures
- Computational Geometry
- Algorithmic Group Theory
- Formalized mathematics, especially in interactive theorem provers
- Tools in SAT/SMT/CA, including tools that combine Symbolic Computation and Satisfiability Checking
- Applications relying on Symbolic Computation or on Satisfiability Checking, including hybrid systems and controls
Registration
TBA
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 commitment that, in case of acceptance, at least one of the authors attends and presents at the workshop. We are accepting submissions in the following four categories. Due to publishing constraints, submissions with less than 5 pages will be counted as presentation-only submissions and will not appear in the proceedings.
- Full papers on research, case studies or tool development should present unpublished work not submitted elsewhere. Full papers should have a length of at most 16 pages, excluding references and potential appendices. Appendices will be read at the discretion of the program committee.
- Extended abstracts on research, case studies or tool development should present unpublished (potentially ongoing) work not submitted elsewhere. Extended abstracts should have a length of 5 pages, excluding references.
- Short surveys that provide an original and pedagogical explanation of an existing body of work from the author(s), with particular emphasis on clarity and accessibility. Short surveys should have a length of at most 8 pages, excluding references.
- Presentation-only submissions on already published work, work to be published elsewhere, or work in progress on SC-Square related open problems or future challenges. Furthermore, people from other scientific disciplines and industry and business are warmly invited to attend and describe their problems, challenges, goals, and expectations for the SC-Square community. Please submit an abstract for approval by the PC with a limit of 4 pages.
Submissions should be in English, formatted in Springer LNCS style and submitted via HotCRP using this link:
hotcrp.software.imdea.org/scsquare
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 and Venue
The workshop will take place in the room TBA- Abstract submission: April 10, 2026, AoE
- Paper submission: April 17, 2026, AoE
- Author notification: May 22, 2026
- Final Version: June 1, 2026
- Workshop date: July 13, 2026
Committees
Workshop Co-chairs
- Katherine Kosaian (University of Iowa, US)
- Alessio Mansutti (IMDEA Software Institute, Spain)
Program Committee
- Kyungmin Bae (Pohang University of Science and Technology, South Korea)
- Rizeng Chen (Peking University, China)
- Xin Chen (University of New Mexico, US)
- Ruiwen Dong (University of Oxford, UK)
- Matthew England (Coventry University, UK)
- Stéphane Graham-Lengrand (SRI, US)
- Alberto Griggio (Fondazione Bruno Kessler, Italy)
- Hoon Hong (North Carolina State University, US)
- Dejan Jovanovic (AWS, US)
- Ariel Kellison (Code Metal, US)
- George Kenison (KU Leuven, Belgium)
- Hanna Lachnitt (Stanford University, US)
- Pierre Mathonet (Université de Liège, Belgium)
- Guillaume Melquiond (Inria and ENS Lyon, France)
- Marc Moreno Maza (University of Western Ontario, Canada)
- Mathias Preiner (Stanford University, US)
- Philipp Rümmer (University of Regensburg, Germany)
- Mohab Safey El Din (Sorbonne Université, France)
- Žaneta Semanišinová (TU Dresden, Germany)
- Zhikun She (Beihang University, China)
Earlier Workshops and Their Published Proceedings
This is the 11th 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. Proceedings at CEUR-WS.