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. This year we will also include a day (Aug 17th) dedicated to constraint programming (CP) and its connections to SAT. The SAT/SMT/AR/CP 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 2019.
The summer school will follow FLoC 2022 taking place on August 14-17, 2022 at the Technion, Haifa, Israel.
Registration is now closed (June 2022).
For local information (Visa, transportation, accommodation) please see FLoC website.
Please send questions about the summer school to email@example.com.