Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

• Éric Badouel was the scientific chair of CRI 2017.

• Hervé Marchand is member of the IFAC Technical Committees (TC 1.3 on Discrete Event and Hybrid Systems) since 2005. Hervé Marchand is member of the steering committee of MSR (modélisation de systèmes réactifs) since 2012 and became president of this steering in November 2017;

• Nathalie Bertrand and Nicolas Markey are members of the steering committee of the Summer School MOVEP (“Modelisation et Vérification des Processus Parallèles”).

Member of the Organizing Committees

• Thierry Jéron is member of the steering committee of FMF 2017 (Formal Methods Forum), a forum gathering people from academia and industry and dedicated to the use of formal methods. It is held in Toulouse and, since this year, retransmitted in Grenoble, Saclay and Rennes. Two sessions took place in 2017, in January on the theme “Formal methods and cybersecurity” and in October about “Autonomous vehicles and formal methods”.

Scientific Events Selection

Chair of Conference Program Committees

• Nathalie Bertrand was PC co-chair with Luca Bortolussi of QEST'2017, the 14th International Conference on Quantitative Evaluation of Systems, held in Berlin in September 2017 [45].

Member of the Conference Program Committees

• Éric Badouel was member of the program committees of VECOS 2017, ATAED 2017 and CRI 2017.

• Nathalie Bertrand was member of the PC of the following conferences: LICS 2017, FCT 2017, MSR 2017.

• Blaise Genest was a PC member of ATVA 2017;

• Thierry Jéron served on the Program Committees of the following international conferences: SAC-SVT 2017 and SAC-SVT 2018.

• Hervé Marchand served on the Program Committees of MSR 2017, Wodes 2018, CDC 2017, CCTA 2017.

• Nicolas Markey was a PC member of ATVA 2017, FORMATS 2017, SR 2017.

• Ocan Sankur was a PC member of SR 2017 and SYNT 2017.

Journal

Member of the Editorial Boards

• Éric Badouel is co-editor-in-Chief of ARIMA Journal.

Invited Talks

• Nathalie Bertrand was invited to give a talk at the workshop organized for the 20 years of LSV (ENS Cachan) in May 2017. She was also invited to talk at the workshop OPCT (Open Problems in Concurrency) in June 2017 at IST Vienna (Austria).

• Hervé Marchand gave an invited talk during the conference of MSR (November 2017) titled Contribution to the Analysis of Discrete Event Systems as well as during the workshop “30 years of the Ramadge-Wonham Theory of Supervisory Control: A Retrospective and Future Perspectives” at the CDC conference in December 2017 titled Opacity and Supervisory Control.

• Nicolas Markey gave an invited talk about Temporal logics for multi-agent systems at MFCS 2017, Aalborg (Denmark), in August 2017 [27].

Leadership within the Scientific Community

• Since September 2017, Nathalie Bertrand is, together with Pierre-Alain Reynier, co-head of the Groupe de Travail Verif belonging to the GDR Informatique Mathématique (GDR-IM).

Research Administration

• Éric Badouel is the co-director (with Moussa Lo, UGB, Saint-Louis du Sénégal) of LIRIMA, the Inria International Lab for Africa. He is scientific officer for the African and Middle-East region at Inria European and International Partnership Department and member of the executive board of GIS SARIMA.

• Nathalie Bertrand is elected member of the Conseil National des Universités, section 27 (computer science).

• Nathalie Bertrand, Loïc Hélouët and Ocan Sankur organize the weekly seminar 68NQRT at IRISA (40 talks each year).

• Éric Fabre is the co-director (with Olivier Audouin, Nokia) of the joint lab of Nokia Bell Labs France and Inria. The lab has been running for 9 years and started in Nov. 2017 its 3rd phase of joint research teams. A series of 6 new teams just started, for a duration of 4 years. They cover topics like network virtualization, network management, information theory, (distributed) machine learning, network security. SUMO  is involved in the joint team "Softwarization of Everything".

• Loïc Hélouët is a representative of rank-B researchers in the Comité de Centre of Inria Rennes. He is also part of the bureau of the Comité de Centre. He leads the P22 projects with Alstom transports and is responsible for Workpackage 2 of the Headwork ANR project.

• Thierry Jéron is Member Committee Substitute for COST IC1402 ARVI (Runtime Verification beyond Monitoring). He is member of the IFIP Working Group 10.2 on Embedded Systems. He is member of the COS Prospective of Irisa Rennes and member of the Comité de Centre of Inria Rennes. Since 2016 he is référent chercheur for the Inria-Rennes research center.

• Hervé Marchand is chairman of the CUMI in Rennes and member of the ADT commission in Rennes.