Section: Overall Objectives

Highlights of the Year

• Loïc Hélouët and Hervé Marchand were co-chairs of the conference MSR 2013 (Modélisation des Systèmes Réactifs), located in Rennes this year and organized by SUMO (Laurence Dinh, Loïc Hélouët, Hervé Marchand and Paulin Fournier).

• ANR Stoch-MC has been accepted in 2013, led by SUMO (Blaise Genest (PI), Nathalie Bertrand and Éric Fabre). Its aim is to provide scalable algorithms to analyse stochastic systems.