Mercredi 23 novembre 2022

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

Les commentaires sont clos.