SAUTOS (Safe AUTOnomous Systems) summer school, Saclay, October 23-27 2023
IDIA supports the SAUTOS summer school (https://www.sautos.universite-paris-saclay.fr/) on safe autonomous systems. This school is co-organised by Alexandre Chapoutot (IDIA). Registration before October 2th on https://sautos.sciencesconf.org/.