EN FR
EN FR


Section: Dissemination

Promoting Scientific Activities

Scientific Events: Organisation

General Chair, Scientific Chair
  • Hervé Marchand is a member of the IFAC Technical Committees (TC 1.3 on Discrete Event and Hybrid Systems). He is the president of the steering committee of MSR (modélisation de systèmes réactifs).

  • 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).

  • Blaise Genest is member of the steering comittee of the international workshop FMAI (Formal Methods and Artificial Intelligence).

Member of the Organizing Committees
  • Blaise Genest coorganized the 2nd workshop FMAI 2019 (Rennes, 2-3 May 2019).

Scientific Events Selection

Member of the Conference Program Committees
  • Éric Badouel was member of the Program Committees of VECOS, ATAED, ICTAC, CRI, and JIMIS in 2019.

  • Nathalie Bertrand was a member of the Program Committees of the following international events: TIME'19, RP'19, MFCS'19.

  • Éric Fabre was a member of the Program Committee of CREST'19.

  • Blaise Genest was a member of the Program Committee of FMAI'19.

  • Loïc Hélouët was member of the Program Committee of ACSD'2019.

  • Thierry Jéron served on the Program Committees of ICTSS'19 and SAC-SVT'20.

  • Nicolas Markey was a member of the Program Committee of LATA'20.

  • Ocan Sankur was a member of the Program Committee of FORMATS'19.

Reviewer

In 2019, 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.

  • Hervé Marchand is associate editor of the journal Discrete Event Dynamical Systems - Theory and applications since january 2019.

Reviewer - Reviewing Activities

In 2019, 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

  • Nathalie Bertrand gave an invited talk at the international conference Formats'19 on Taming real-time stochastic systems.

  • Blaise Genest was invited to the workshop SinFra'19 in Singapore and gave a talk on Trust in AI.

  • Léo Henry was invited to a workshop on test generation by IMDEA (Madrid) to give a talk about test generation for timed automata using games.

Leadership within the Scientific Community

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

Scientific Expertise

  • Nathalie Bertrand was a reviewer for Thelam Fund and FWO (Belgium) and Grenoble-MSTIC. She served on the HCERES committee for Vérimag.

  • Blaise Genest was reviewer for a DIGICOSME project.

  • Loïc Hélouët was reviewer for ANR.

  • Thierry Jéron was a reviewer for NWO (Netherlands Organisation for Scientific Research).

  • Nicolas Markey served on the HCERES committee for LACL.

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 DPEI (European and International Partnership Department). He is member of the executive board of GIS SARIMA.

  • Nathalie Bertrand was nominated member of the Conseil National des Universités, section 27 (computer science) until November 2019.

  • Emily Clément is a representative of PhD students in the Comité de Centre of Inria Rennes.

  • É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 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.

    Éric Fabre is also a member of Inria Evaluation Commission since September 2019.

  • Loïc Hélouët is member of Inria CNHSCT (committee for Health and Security). He is also a suppletive member in the Comité de Centre of Inria Rennes. He leads a working group of the comittee on harrassment, and another of daily life improvement. He is member of a commission at IRISA on harrassment.

  • Thierry Jéron is a member of the IFIP Working Group 10.2 on Embedded Systems. He is a member of the Comité d'orientation scientifique (COS) of IRISA Rennes. He was member of the Comité de Centre of Inria Rennes until mid-2019. Since 2016 he is “référent chercheur” for the Inria-Rennes research center.

  • Hervé Marchand was chairman of the Comission des utilisateurs des moyens informatiques (CUMI) in Rennes until December 2019. He is an elected member of the Comité de Centre at Inria Rennes since June 2019.

  • Nicolas Markey manages the mentoring programme at Irisa/InriaRBA; this programme aims at having senior researchers transfering their experience to younger colleagues (including PhD students and postdoc). The programme currently concerns about 30 mentor/mentee pairs.