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 took place from Wednesday, 26th to the Saturday, 29th (with social activities on the afternoon on the 29th). The summer school was followed by IJCAR 2024 taking place on July 1-6, 2024 in Nancy, France.
The summer school is over. Thanks to all the lecturers and participants for the vibrant atmosphere!
The SAT/SMT/AR/CP Summer School in Nancy, France, June 2024
The lectures took 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.
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