Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

• Éric Badouel was the General Chair of CARI 2018, Stellenbosch, South Africa.

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

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

Member of the Organizing Committees

Nicolas Markey coorganized the 6th Workshop SR 2018 (Oxford, 7-8 july 2018).

Scientific Events Selection

Member of the Conference Program Committees

• Hervé Marchand served on the Program Committee of WODES 2018

• Éric Badouel was member of the program committees of VECOS 2018, ATAED 2018, CARI 2018, ICTAC 2018.s

• Loïc Hélouët was member of the program Comitee of ACSD'2018.

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

• Nathalie Bertrand was a member of the PC of the following international events: FoSSaCS'18, ICALP'18, Highlights'18, MoRe'18 and RP'18.

• Ocan Sankur was a member of the PC of FORMATS'18 and SYNT'18.

Reviewer

In 2018, members of SUMO reviewed submissions for following conferences: VECOS, ATAED, CARI, ICTAC, CONCUR, SOFSEM, FOCS, ATVA, VMCAI, ICALP, SAC-SVT, TAP, ACSD, MFCS, STACS, WODES, HSCC, FSTTCS, CSL, AAMAS, TACAS, FoSSaCS, LICS, PODC, MORE, RP.

Journal

Member of the Editorial Boards

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

Reviewer - Reviewing Activities

In 2018, members of SUMO reviewed submissions for following journals: Automatica, Fundamenta Informaticae, Information and Computation, The Scientific Annals of Computer Science, Science of Computer Programming, ACM Transactions on Computational Logic, ACM Transactions on Embedded Computing Systems, Journal of Systems and Software, Mathematical Review (MathSciNet), Journal of Discrete Event Dynamical Systems, Formal Methods in System Design, Software Testing, Verification and Reliability, Journal of Logic and Computation, IEEE Transactions on Automatic Control, PLoS one, Performance Evaluation, Artificial Intelligence, Journal of Logic and Algebraic Methods in Programming, Logical Methods in Computer Science, ACM Transactions on Modeling and Computer Simulation, Journal of Systems and Software.

Invited Talks

Loïc Hélouët was invited to give a talk at IIT Delhi on hyperlogics on November 2018.

Leadership within the Scientific Community

Nathalie Bertrand is the co-head of the Groupe de Travail Verif (together with Pierre-Alain Reynier (LIS, Marseille)) which is a part of GDR Informatique Mathématique (GDR-IM).

Scientific Expertise

• Eric Badouel was member of the jury discerning the Ibni Prize.

• Thierry Jéron was a reviewer for ANR.

• Blaise Genest was a reviewer for Austrian Academy of Sciences.

• Nathalie Bertrand was a reviewer for Thelam Fundand FWO (Belgium).

• Éric Fabre was a reviewer for the Ministry of Research, in the "Credit Impot Recherche" initiative.

Research Administration

• É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 just started in 2017, 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 SAPIENS.

• Loïc Hélouët is a representative of researchers in the Comité de Centre of Inria Rennes. He is also part of the bureau of the Comité de Centre, leads a working group of the comité and contributes to another. In 2018, he joined the COST-GTRI, who is in charge of evaluation of international programs such as Inria associated teams. He is the principal investigator for the french side of the EQUAVE associated team. He leads the P22 projects with Alstom Transport and is responsible for Workpackage 2 of the Headwork ANR project.

• Hervé Marchand is chairman of the Comission des utilisateurs des moyens informatiques (CUMI) in Rennes and member of the Action de développement technologique(ADT) commission in Rennes.

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

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