The 7th International Workshop on Satisfiability Checking and Symbolic Computation was held on August 12, 2022, at Haifa, Israel. It was a part of International Joint Conference on Automated Reasoning 2022, at FLOC 2022.
The proceedings of the workshop have been published as Volume 3458 of CEUR-WS.org. JHD has written a BiBTeX file here.
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:
- Stefan Ratschan (Academy of Sciences of the Czech Republic, CZ)
- Robert Lewis (Brown University, US)
Program
- 9:00 - 10:00 : Stefan Ratschan
- 10:00 - 10:30 : Gereon Kremer and Jasper Nalbach - Cylindrical Algebraic Coverings for Quantifiers
- 10:30 - 11:00 : Break
- 11:00 - 11:30 : Ali Kemal Uncu, James H. Davenport, and Matthew England - SMT-Solving Combinatorial Inequalities
- 11:30 - 12:00 : Baptiste Vergain, Pascal Fontaine, and Bernard Boigelot - Decidability of difference logics with unary predicates
- 12:00 - 12:30 : Bogdan David and Madalina Erascu - Automatic Deployment of Component-based Applications in the Cloud
- 12:30 - 14:00 - Lunch
- 14:00 - 15:00 - Robert Lewis
- 15:00 - 15:30 - Daniel Dallaire and Curtis Bright - Enumerating Projective Planes of Order Nine with Proof Verification
- 15:30 - 16:00 - Break
- 16:00 - 16:30 - Zhengyu Li, Curtis Bright and Vijay Ganesh - An SC-Square Approach to the Minimum Kochen-Specker Problem
- 16:30 - 17:00 : Business Meeting
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:
- 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
- Decision procedures and their embedding into SMT solvers and computer algebra systems
Submission guidelines
We now are accepting submissions to be included in the workshop proceedings.
We invite three types of submissions:
- Normal papers describing research not published or submitted elsewhere (with a limit of 15 pages).
- Extended abstracts may be position papers, description of research prospects, challenges, projects, ongoing works, or applications relevant to SC-square (with a limit of 8 pages).
- Posters
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 in digital form, hosted with CEUR-WS (see http://ceur-ws.org/). 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 https://easychair.org/conferences/?conf=7thscsquareworkshop before the submission deadline.
Key Dates
- Submission deadline: Fri. 27 May 2022
- Notification: Fri. 24 Jun 2022
- Final version: Thu. 7 Jul 2022
- Workshop date: Fri. 12 Aug 2022
Earlier Workshops and their published proceedings
This is the 7th 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.
- The Second SC2 Workshop took place in Kaiserslautern, Germany in 2017.
- The Third SC2 Workshop took place in Oxford, UK in 2018.
- The Fourth SC2 Workshop took place in Bern, Switzerland in 2019.
- The Fifth SC2 Workshop was held virtially, originally to be in Paris, France in 2020.
- The Sixth SC2 Workshop was held virtually, originally to be in College Station, U.S.A. in 2021.
- Proceedings of the 1st Workshop (Timisoara 2016) (also as a ZIP file)
- Proceedings of the 2nd Workshop (Kaiserslautern 2017) (also as a ZIP file)
- Proceedings of the 3rd Workshop (Oxford 2018) (also as a ZIP file)
- Proceedings of the 4th Workshop (Bern 2019) (also as a ZIP file)
- Proceedings of the 5th Workshop (Paris 2020)
- Proceedings of the 6th Workshop (College Station 2021) and BiBTeX file
Workshop Co-chairs
- Haniel Barbosa (Universidade Federal de Minas Gerais, Brazil)
- Ali K. Uncu (University of Bath, UK & Austrian Academy of Sciences, Johann Radon Institute for Computational and Applied Mathematics, AT)
Programme Committee
- Erika Abraham (RWTH Aachen University, DE)
- Martin Brain (City University of London, UK)
- Curtis Bright (University of Waterloo, CA)
- Christopher Brown (United States Naval Academy, USA)
- James H. Davenport (University of Bath, UK)
- Matthew England (Coventry University, UK)
- Madalina Eraşcu (Institute e-Austria Timisoara, West University of Timisoara, RO)
- Alberto Griggio (Fondazione Bruno Kessler, IT)
- Dejan Jovanović (Amazon Web Services)
- Manuel Kauers (Johannes Kepler University Linz, AT)
- Daniela Kaufmann (Johannes Kepler University Linz, AT)
- Ilias Kotsireas (Wilfrid Laurier University, CA & Maplesoft)
- Laura Kovacs (Vienna University of Technology, AT)
- Gereon Kremer (Stanford University, USA)
- Robert Lewis (Brown University, UAS)
- Veronika Pillwein (RISC Johannes Kepler University Linz, AT)
- Hamid Rahkooy (Max-Planck Institute for Informatics, DE)
- Amir Hosein Sadeghimanesh (Coventry University, UK)
Acknowledgements
- Supported by the UK's EPSRC under grant EP/T015713/1