Section: Dissemination
Scientific Animation
Pascal Fontaine co-chaired the program committee of PAAR 2012 and SMT 2012. He served on the program committee of PxTP 2012. He has been ex-officio member of the SMT Steering Committee starting September 2011 until August 2012, and he is now an elected member for two years starting September 2012.
-
a member of the IFIP Working Group 1.3 on Foundations of System Specification,
head of the Doctoral School IAEM Lorraine for the University of Lorraine,
head of the Formal Methods department of the LORIA laboratory,
an expert for the French Agence Nationale de la Recherche (ANR) and AERES.
He served on the program committees of DS-Event-B, FHIES, FM (co-chair), ICECCS, ICFEM, iFM, MEDI, and TASE.
The academic duties of Stephan Merz include:
member of the IFIP Working Group 2.2 on Formal Description of Programming Concepts,
nominated member of the Section 7 of the Comité National de la Recherche Scientifique (until the summer of 2012),
Inria representative in the Scientific Directorate of the International Computer Science Meeting Center in Dagstuhl,
delegate for the organization of conferences at Inria Nancy Grand-Est,
co-head of the PhD committee for computer science in Lorraine (since December 2012),
program committees of ICFEM, iFM, SAC, SBMF, and SEFM conferences, AVoCS (co-chair), ATX, and TLA (co-chair) workshops, steering committee of AVoCS,
co-organizer of the VTSA summer school between Nancy, Saarbrücken, Luxembourg, and Liège,
expert for the French Agence Nationale de la Recherche (ANR), AERES, German DFG, European ERC, and Canadian NSERC.