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 take place from Wednesday, 26th to the Saturday, 29th (with some social activities on the afternoon on the 29th to be announced). The summer school will precede IJCAR 2024 taking place on July 1-6, 2024 in Nancy, France.
Applications are no longer open. The selected applicants should now register using the code they have received.
The lectures will take place at
615 rue du Jardin Botanique,
54600 Villers-lès-Nancy
France
Travel information to and in Nancy is available on the IJCAR website. For more local information, please refer to here. Be careful that the summer school and IJCAR are not at the same place!
If you require an invitation letter to apply for a visa or you have any other question, contact the school organisers.
Organisers
- Martin Bromberger
- Mathias Fleury
- Sophie Tourret
- Anne-Lise Charbonnier (Local organization committee)
- Cécilia Olivier (Local organization committee)
|
|
Sponsors
|
|
|
|
|
|
|
|
|
photo: Jean-Pierre Dalbéra, CC BY 2.0 Deed