The SAT/SMT/AR/CP Summer School in Haifa, Israel, August 2022
Summary
Propositional 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 was initiated in 2011 with SAT and SMT as the main topics, later extended also to Automated Reasoning in 2015. The School is organized every year and is generally affiliated to the SAT conference, the SMT workshop, or the CADE or IJCAR conferences. The purpose of the committee, comprising representatives of these communities, is to coordinate the organization of the school.
The members of the committee are currently Vijay Ganesh, representative of the SAT association, Andrew Reynolds, representative of the SMT steering committee, and Pascal Fontaine as a coordinator. Representatives are designated by the various committees and the coordinator is suggested by designated representatives and approved by all committees.
If you would like to organize the school in the future years, do not hesitate to get in touch informally with the coordinators.