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 2022.
The summer school will precede IJCAR 2024 taking place on July 1-6, 2024 in Nancy, France.
Registration is not open yet!
Student lodgings close to the campus will be made available for the duration of the school (TBA).
Travel information to and in Nancy is available on the IJCAR website
If you require an invitation letter to apply for a visa or you have any other question, contact the school organisers.
photo: Jean-Pierre Dalbéra, CC BY 2.0 Deed