Journées Nationales 2018 du GDR Informatique Mathématique

Accueil café - croissants

Hommage à Maurice Nivat

› Comment nous avons formalisé le parallélisme à travers la théorie des langages - Gérard Roucairol, Académie des technologies 10:00-10:30 (30min)

› Regular transducer expressions for two-way deterministic transducers - Paul Gastin, ENS Paris-Saclay, LSV 10:30-11:15 (45min)

› Differential Privacy and Applications to Location Privacy - Catuscia Palamidessi, INRIA Saclay 11:15-12:00 (45min)

Déjeuner

Hommage à Maurice Nivat

› Maurice : ses travaux, son action, sa marque - Pierre-Louis Curien, CNRS, IRIF 14:00-14:30 (30min)

› Une approche informatique théorique des nombres de Markoff - Laurent Vuillon, Université de Savoie Mont Blanc, LAMA 14:30-15:15 (45min)