SAT/SMT/AR – Summer School 2025
6 August - 8 August
Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning (AR) continue to make rapid advances and find novel uses in a wide variety of applications, both in computer science and beyond. The SAT/SMT/AR Summer School aims to bring a select group of students up to speed quickly in this exciting research area. The school continues the successful line of Summer Schools that ran from 2011 to 2024.
The summer school will take place from Wednesday the 6th to Friday the 8th of August. It will precede the following conferences:
- 18th International Symposium on Combinatorial Search (SoCS)
- 28th International Conference on Theory and Applications of Satisfiability Testing (SAT)
- 31st International Conference on Principles and Practice of Constraint Programming (CP 2025)
- 23rd International Workshop on Satisfiability Modulo Theories (SMT)
Applications will be opening soon on the SAT/SMT/AR – Summer School 2025 website.