SAT/SMT/AR

Summer School 2024

June 26 - 29, 2024
Nancy, France

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 open!

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.

Organisers

Inria Lorraine University

Sponsors

EuroProofNet SAT association Région Grand Est
Lorraine University ORION: Osez la recherche! France 2030
Inria Loria Imandra

photo: Jean-Pierre Dalbéra, CC BY 2.0 Deed