Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

Member of the organizing committees

Nathalie Bertrand is an elected steering committee member for the international conference QEST (Quantitative Evaluation of Systems).

Thierry Jéron is member of the steering committee of the european summer school MOVEP (Modélisation et Vérification des Systèmes Parallèles). The next edition will take place in Genova in July 2016.

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

Scientific events selection

Chair of conference program committees

Éric Badouel was Scientific President of CRI 2015 (Yaoundé)

Nathalie Bertrand was co-chair of the international workshop QAPL'15 with Mirco Tribastone.

Member of the conference program committees

Éric Badouel was PC member of ATAED 2016 (Brussel).

Nathalie Bertrand was PC member of the following international conferences: Formats'15, ICLA'15, QEST'15, TACAS'15.

Loïc Hélouët was member of the program committee of ACSD 2015 (Approaches of Concurrency for Systems Design, Brussels june 2015) and SDL 2015 (System Design Languages, Berlin, 2015).

Thierry Jéron was PC member of the following international conferences: ICTSS'15, TAP'15, USE'15, RV'16.

Hervé Marchand was PC member of the DCDS 2015 and MSR 2015 conferences.

Reviewer

The members of the team reviewed numerous papers for numerous international conferences.

Journal

Member of the editorial boards

Éric Badouel is Editor in Chief of ARIMA Journal.

Reviewer - Reviewing activities

Éric Badouel was a reviewer for Science of Computer Programming, Fundamenta Informaticae and Mathematical Review.

Nathalie Bertrand acted as a reviewer for Journal of the ACM, Formal Methods in System Design, Information and Computation.

Éric Fabre reviewed sumissions to IEEE TAC, Automatica, J. of Discrete Event Dynamic Systems, IEEE Trans. on Automation Sciences and Engineering.

Loïc Hélouët was a reviewer for Formal aspects of computing and Theoretical Computer Science.

Hervé Marchand was reviewer for JDEDS and for the Annual Reviews in Control.

Christophe Morvan was a reviewer for Journal of Computer and System Sciences and for IEEE Transactions on Automatic Control.

Ocan Sankur was a reviewer for Theoretical Computer Science, Logical Methods in Computer Science, Science of Computer Programming and Formal Methods in System Design

Invited talks

Nathalie Bertrand gave an invited talk at Gandalf 2015, and at MSR 2015. She gave a lecture on Controlling probabilistic systems under partial information at the EJCIM (École jeunes chercheurs Informatique Mathématiques) in april 2015. See the lecture notes [45] .

Thierry Jéron and Ocan Sankur both gave lectures at ETR'15 (Ecole temps réel) in Septembre 2015, respectively on “Model-based conformance test generation for timed systems”, and “Control of timed systems”.

Scientific expertise

Éric Fabre serves as expert for the Minsitry of Research, for the Credit Impot Recherche, a tax-reduction programme for research activities performed by private companies. He was solicited for 4 companies in 2015.

Loïc Hélouët acted as reviewer for the ANR.

Thierry Jéron was reviewer for the CHIST-ERA consortium and for a NSERC Discovery Grant proposal (Canada).

Research administration

Éric Badouel is secretary of the Permanent Committee of CARI, co-Director of LIRIMA, and the Scientific Manager for Africa and Middle-East region at Inria DPEI.

Nathalie Bertrand is secretary and committee member of Gilles Kahn PhD prize.

Éric Fabre is the co-director, with Olivier Audouin, of the joint research lab of Alcatel-Lucent Bell Labs and Inria.

Loïc Hélouët and Éric Fabre are members of the Scientific Board of the joint lab of Alstom Transport and Inria.

Loïc Hélouët was référent chercheur for the Inria Rennes research center.

Thierry Jéron was Vice Scientific Delegate of the Inria Rennes research center and member of the Inria Evaluation Committee until 09/2015. This year he was member of the following Inria hiring committees: junior scientists (CR2) at Lillle, starting and advanced senior research positions (ARP, SRP), and senior scientists (DR2). He is also member of the IFIP Working Group 10.2 on Embedded Systems and member of the Management Committee (substitute) of the COST IC1402 (ARVI: Runtime Verification beyond Monitoring). He is member of the COS Prospective of Irisa Rennes.