Le LMF et le DER Informatique de l'ENS Paris-Saclay organisent un workshop le vendredi 8 novembre 2024, à l'occasion du départ à la retraite de Serge Haddad. Il aura lieu dans les locaux de l'ENS Paris-Saclay.
La participation est gratuite, mais pour des raisons de logistique, il est demandé de vous inscrire.
Programme
9h30 – 9h45 Accueil, café (Simondon)
9h45 – 10h Introduction de la journée (Simondon 1B36)
10h – 12h15 Serge & certains de ses collaborateurs (Simondon 1B36)
- 10h - 10h45 : Béatrice Bérard (LIP6) - The story of Interrupt Timed Automata
- 10h45 - 11h30 : Susanna Donatelli (Universita' di Torino)
- 11h30 - 12h15 : Didier Lime (LS2N), Olivier Roux (LS2N)
12h15 – 14h00 Déjeuner (Espace Kafé)
14h00 – 15h30 Serge & certains de ses anciens doctorants, également anciens élèves de l'ENS Cachan (Simondon 1B36)
- 14h-14h30 : Benoit Barbot (LACL) - Importance Sampling. When Statistical Verification Meets Numerical Verification
- 14h30-15h : Yann Duplouy (LMF) - Modélisation de systèmes hybrides probabilistes : Cosmos et Simulink
- 15h-15h30 : Engel Lefaucheux (LORIA) - Diagnosis of probabilistic systems: Cheaper, better, faster, stronger
15h30 – 16h15 Serge & le projet Mefosyloma (Simondon 1B36)
- 15h30-16h15 : Fabrice Kordon (LIP6), Laure Petrucci (LIPN) - Serge unveiled
16h15 Cocktail (Espace Kafé)