Section: Dissemination

Scientific Animation

Éric Fabre was evaluator of the first round of the ANR call for projects, 2013. He is also a regular reviewer for the Ministry of Research and Innovation, through the Credit Impot Recherche program (support to industrial research through tax reductions).

Éric Badouel is Associate Editor of the ARIMA journal, member of the Board of SARIMA and of the Steering Committee of LIRIMA. He is the Secretary of the Permanent Committee of the CARI.

Nathalie Bertrand is elected member of the Steering Committee of QEST, international conference on Quantitative Evaluation of Systems. She is also on the Steering Committee of the international workshop QAPL. She has served this year on the Programme Committee of MSR'13, MFCS'13, QEST'13 and QAPL'13. She is member and scientific secretary of the Gilles Kahn PhD award committee.

Thierry Jéron was PC member of ACM SAC-SVT 2014, PECCS 2014, MAROC 2013, TAP 2013, RV 2013. He was co-chairman of a Dagstuhl seminar on Symbolic Methods in Testing (January 2013). He is member of the steering committee of Movep'2014 in Nantes (July 2014). He is member of the IFIP Working Group 10.2 on Embedded Systems. He gave an invited lecture on "Model-based conformance test generation for timed systems" at the workshop MAROC'2013.

Loïc Hélouët was co-organizer with Hervé Marchandof the MSR 2013 Conference. He is member of the program committee of the SDL conference. In 2013, he was also reviewer for the following conferences: SDL, TACAS, CONCUR, MOVEP, and journals : SOSYM, TCS. He is also scientific coordinator of the DISTOL associated team. He co-organizes (with N. Bertrand, F. Schwarzentruber, D. Cachera and J.-P. Talpin) the 68NQRT seminar at IRISA/Inria Rennes, a weekly event that proposes talks in the domain of theoretical computer science (around 40 talks each year from worldwide participants). He is référent chercheur for the Inria Rennes research center, helping researchers that face difficulties during their carreer. He was part of the committee for the selection of a maître de conférences position at ISTIC in May 2013.

Hervé Marchand 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). He was co-organizer with Loïc Hélouëtof MSR 2013 in Rennes (13-15 November 2013). He was PC member of DCDS Conference and PC chair with Loïc Hélouëtof MSR 2013. He is PC member of the forthcoming WODES conference and IFAC World Congress in 2014. He was reviewer for Automatica, Transaction automatic and control, Discrete Event dynamical systems as well as CDC, ACC conference.