EN FR
EN FR


Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

Member of the Organizing Committees

Hervé Marchand is member of the IFAC Technical Committees (TC 1.3 on Discrete Event and Hybrid Systems) since 2005. He is member of the steering committee of MSR (Modélisation de systèmes réactifs).

Thierry Jéron and Nicolas Markey are members of the steering committee of the european summer school MOVEP (Modélisation et Vérification des Systèmes Parallèles). Nicolas Markey was co-chair of the edition that took place in Genova in July 2016.

Thierry Jéron is member of the steering committee of FMF 2017 (Formal Methods Forum) held in Toulouse in January 2017.

Scientific Events Selection

Chair of Conference Program Committees

Éric Badouel was Chair of conference program committee of CARI 2016.

Member of the Conference Program Committees

Éric Badouel was a member of the programme committee of ATAED 2016.

Nathalie Bertrand served on the Program Committees of the international conferences STACS’16, TACAS’16, Concur’16 and QEST’16.

Loïc Hélouët was member of the program committees of ACSD 2016 (Approaches of Concurrency for Systems Design) and SAM 2016 (System Analysis and Modeling).

Thierry Jéron served on the Program Committees of the following international conferences: ICTSS'16, RV'16, SAC-SVT 2017.

Reviewer

Nicolas Markey was reviewer for STACS 2017 and AAAI 2017.

Éric Badouel was reviewer for LICS 2016, VeCos 2016, CARI 2016, TACAS 2016, and ATAED 2016.

Loïc Hélouët was reviewer for SAM'2016, ACSD'2016, DNS'2016, STACS'2016, and ICTAC'2016

Thierry Jéron was reviewer for IEEE CASE & ISAM, CONCUR'16.

Journal

Member of the Editorial Boards

Éric Badouel is co-Editor-in-Chief of ARIMA Journal (https://arima.episciences.org/).

Reviewer - Reviewing Activities

Éric Fabre was reviewer for IEEE TAC, Automatica, JDEDS, CDC, and JONS.

Hervé Marchand was reviewer for JDEDS and Automatica.

Nathalie Bertrand was reviewer for JACM and JCSS.

Nicolas Markey was reviewer for FMSD and TCS.

Éric Badouel was reviewer for Fundamenta Informaticae and Mathematical review-AMS (MathSciNet).

Loïc Hélouët was reviewer for FAOC, TCS, TECS and Fundamenta Informaticae. He also served as reviewer for Mathematical review-AMS (MathSciNet).

Thierry Jéron was reviewer for FAOC and TECS.

Invited Talks

Nathalie Bertrand was invited speaker at MFPS international conference, and gave a lecture at MOVEP summer school.

Éric Badouel was invited speaker at VeCos 2016.

Scientific Expertise

Thierry Jéron served for the expertise of ANR and ASTRID (ANR/DGA) projects.

Research Administration

Éric Fabre is co-director, with Olivier Audouin, of the joint research lab of Nokia Bel Labs and Inria. He is member of the scientific board of the joint lab of Alstom Transport and Inria and member of the Bureau of the Scientific Board of Inria Rennes Bretagne Atlantique.

Hervé Marchand is chairman of the CUMI in Rennes.

Nathalie Bertrand is a nominated member of CNU27 (Conseil National des Universités, section 27).

Éric Badouel is 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 Partnerships Department and member of the executive board of GIS SARIMA.

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

Loïc Hélouët was elected representant 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.

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.