Mercredi 23 novembre 2022
13h00 – 13h15 : Ouverture
par Jean-Frédéric Gerbeau, Rémy Taillefer et Liliana Cucu-Grosjean
13h15 – 14h15 : Comment écrire un programme ? Une introduction aux sciences des logiciel
par Gérard Berry
14h15 – 15h15 : Une rétrospective des contributions sur les langages synchrones
Par Marc Pouzet et Cedric Pasteur
15h15 – 16h15 : Modélisation et vérification de systèmes concurrents
Par Hubert Garavel et Nathalie Bertrand
16h35 – 17h35 : Table ronde – Les défis de la compilation
avec Xavier Rival avec Sandrine Blazy, Xavier Leroy et Manuel Serrano
17h35 – 18h35 : Table ronde – Obsolescence et obésification du logiciel
avec Fabrice Rastello, Giuseppe Lipari, Lionel Seinturier, Olivier Barais, Stéphane Crozat, Benjamin Ninassi et Liliana Cucu-Grosjean
