Site menu:



Programme de MSR2017

Mercredi 15 novembre 2017 Jeudi 16 novembre 2017 Vendredi 17 novembre 2017
Programme complet MSR2017 en pdf
Télécharger l'ensemble des papiers de MSR2017


Mercredi 15 novembre 2017
8h30 - 9h15 Accueil des participants
9h15 - 9h30 Session ouverture
9h30 - 10h30 Exposé invité
Contribution to the Analysis of Discrete Event Systems
Hervé Marchand
10h30 - 11h00 Pause
11h00 - 12h30 Session régulière 1 : Contrôle et supervision
12h30 - 14h00 Déjeuner
14h00 - 16h00 Session régulière 2 : Temporisé et Max-Plus
16h00 - 16h30 Pause
16h30 - 17h30 Exposé invité
Modeling architectures and their properties in BIP
Joseph Sifakis
17h30 - 21h00 Cocktail de bienvenue (Campus St-Charles)



Jeudi 16 novembre 2017
9h00 - 10h00 Exposé invité
Réseaux de Petri discrets et continus : apports réciproques
Serge Haddad
10h00 - 10h30 Pause
10h30 - 12h30 Session régulière 3 : Diagnostic
12h30 - 14h00 Déjeuner
14h00 - 16h00 Session invitée : ANR-PACS Parametric Analyses of Concurrent Systems
16h00 - 16h30 Pause
16h30 - 18h30 Session posters / démonstrateurs
Organisée par le GT SED et le GT AFSEC
20h00 - 23h00 Dîner de Gala : restaurant « Les Arcenaulx »



Vendredi 17 novembre 2017
9h00 - 10h00 Exposé invité
Prolifération, différenciation, mort cellulaire… Comprendre le destin des cellules en modélisant leurs réseaux moléculaires
Claudine Chaouiya
10h00 - 10h30 Pause
10h30 - 12h30 Session régulière 4 : Outils et applications
12h30 – 12h45 Clôture
12h45 – 14h00 Déjeuner