Dates clés

résumés: 15 avril
soumission: 5 juin
notification: 16 juillet
version finale: 12 septembre
posters: 30 septembre
conférence: 18-20 novembre

Contact

msr2015@inria.fr

10ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2015)

Inria Nancy ‐ Grand Est, France, du 18 au 20 novembre 2015

MSR est un colloque en langue française qui traite de la modélisation, de l'analyse et de la commande des systèmes réactifs et temps réel. Il concerne plus particulièrement les chercheurs et industriels intéressés par la conception d'applications qui sont basées sur des systèmes de type soit continu, soit discret, soit hybride. MSR est un lieu de rencontre pour les automaticiens et les informaticiens afin de confronter les techniques et les problèmes abordés par les deux communautés. Ainsi, le colloque MSR a pour rôle d'affirmer l'apport des chercheurs francophones dans ces domaines et de favoriser les échanges entre universitaires et industriels.

MSR 2015 est la dixième édition de la série des colloques MSR et est co-organisé par le centre Inria Nancy ‐ Grand Est et le Centre de Recherche en Automatique de Nancy.

Les colloques précédents de la série MSR se sont tenus à

Prix MSR 2015

Le prix du meilleur papier co-écrit par un jeune chercheur a été attribué à Ben Li (équipe MOSES, CRISTAL Lille) pour l'article Diagnosticabilité de Réseaux de Petri Labellisés basée sur les explications minimales et les T-semiflots.