Journées Nationales du GdR Informatique Mathématique

Ouverture

GdR IM

Nicolas Ollinger

› La théorie des jeux en synthèse assistée par ordinateur - Véronique Bruyère, University of Mons, Belgique 15:20-16:20 (1h)

Pause thé

GdR IM

Florent Becker

› L'accessibilité dans les réseaux de Petri est non élémentaire - Jérôme Leroux, LaBRI, Bordeaux 16:40-17:30 (50min)

Assemblée Générale

Jean-Michel MULLER et Guillaume THEYSSIER

› Intervention comme DAS à l'INS2I (CNRS) - Adeline Nazarenko, DAS INS2I et LIPN 17:30-17:35 (05min)