Scientific Administration

2019-: Director of LIP6,
2006-2018: Head of the MoVe team (Modeling and Verification) at LIP6,
2002-2005: Head of the SRC team (Distributed and Cooperative Systems). This team of about 21 research staff and 24 Ph.D. Students in december 2005 was restructured into the MoVe and REGAL (now DELYS) teams.

Scientific Animation

I am the initiator of the Model Checking Contest. This event was initiated in 2011 and enclosed in the SUMo workshop, a satellite event of the Petri Net conference. It is a standalone event associated to the conference in 2012, 2013, 2014, 2015, 2016, 2017, 2018, and 2019.

I am also one of the initiators (with L. Petrucci from LIPN and S. Haddad from LSV) of the CosyVerif research initiative. CosyVerif is a web service-based software environment dedicated gathering verification tools.

Participation to Journal Editorial Board

2010-: member of the Science of Computer Programming Editorial Board
2004-2008: member of the IEEE Distributed Systems online editorial board

Participation to Conference and Workshop Steering Committees

2020-: member of the ETAPS steering committee
2012-: member of the International Conferences on Application and Theory of Petri Nets and Concurrency steering committee
2006-2009: member of the Design, Automation and Test in Europe (DATE) conference executive Committee
2004-: member of the Monterey workshop series steering committee
1998-2009: member of the Rapid System Prototyping Symposium (RSP) (head from 2001 to 2009)

Program Chair or co-chair

2016: 37th International Conference on Application and Theory of Petri Nets and Concurrency, with D. Moldt
2011: 2nd Model-based Engineering for Real-Time Embedded Systems (associated to ISORC'2011), with S. Gérard, and B. Selic
2010: 1st Model-Based Engineering for Real-Time Embedded Systems Design workshop (associated to ISORC'2010), with R. Bendraou, D. Cancila, H. Espinoza, S. Gérard, and B. Selic
2009: 14th International Conference on Reliable Software technologies, with Y. Kermarec
2008: 13th International Conference on Reliable Software technologies, with T. Vardanega
2007: 12th International Conference on Reliable Software technologies, with N. Abdennahder
2006: 13th Monterey Workshop, Composition of Embedded Systems. Scientific and Industrial Issues, with O. Sokolsky
2005: 12th Monterey Workshop 2005, Reliable Systems on Unreliable Networked Platforms, with J. Sztipanovits
2003: 14th International Workshop in Rapid System prototyping, with P. Athanas
2002: 13th International Workshop in Rapid System prototyping, with J. Henkel
1997: 1st workshop on Petri Net Approaches for Modeling and Validation (PNSE), with W. van der Aalst, J-M. Colom, G. Kotsis, and D. Moldt

Participation to Conference and Workshop Program Committees

2017-2018: 38th & 39th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets)
2015-2020: International Conference on Formal Engineering Methods (ICFEM)
2015: 30th ACM/SIGAPP Symposium On Applied Computing (SAC) - Verification and Testing track
2013: 7th Verification and Evaluation of Computer and Communication Systems (VECoS)
2013-2014: International Conference on Real-Time and Network Systems (RTNS)
2013-2014: International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE)
2011: 5th International Conference on COMmunication System softWAre and middlewaRE (COMSWARE 2011)
2010-2015: International Workshop on Petri Nets and Software Engineering (PNSE)
2010: 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)
2010: Verification and Evaluation of Computer and Communication Systems (VECoS)
2009, 2011, 2013, 2015: comité scientifique de l'école d'été temps réel (événement bi-annuel)
2009: International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS)
2008-2009: International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets)
2008: International Workshop on Petri Nets Tools and APplications (PNTAP)
2006-2007 + 2009-2013: IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC)
2006-2009 + 2012-: IEEE International Conference on Application of Concurrency to System Design (ACSD)
2006 + 2008: ACS/IEEE International Conference on Computer Systems and Applications (AICCSA)
2006: International Colloquium on Theoretical Aspects of Computing (ICTAC)
2004: International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE)
2003: International Conference on Distributed Applications & Interoperable Systems (DAIS)
2002-2004: Reconfigurable Architecture Workshop (RAW)
2001-2002: International workshop on Modeling of Objects, Components, and Agents (MOCA)
2001: Design, Automation and Test in Europe (DATE)
1999-2009: International Conference on Reliable Software technologies (RST)
1996-2012: Workshop and then symposium on Rapid System Prototyping (RSP)

Conference or Workshop Organization

2023: 26th European Join Conferences on Theory & Practice of Software (ETAPS) (Paris), Co-organizer
2023: TOOLympics at TACAS'23 in Paris France, co-organization with A. Hartmanns and D. Beyer
2021: 42th International Conference on Petri Nets and Other Notation for Concurrency (Paris), Co-organizer
2020: 41th International Conference on Petri Nets and Other Notation for Concurrency (Paris), Co-organizer
2019: TOOLympics at TACAS'19 in Prague Czech Republic, co-organization with D. Beyer, M. Huisman and B. Steffen
2019: Advancing Verification Competitions as a Scientific Method at Lorentz Center, Leiden, The Netherlands, co-organization with J. van de Pol and M. Seidl
2016: 4th International IEEE Workshop on on Advanced Information Systems for Enterprises (IWAISE) in Rabat, Morocco, General co-Chair with M. Boufaida
2014: 3rd International IEEE Workshop on on Advanced Information Systems for Enterprises (IWAISE) in Tunis, Tunisia, General co-Chair with M. Boufaida
2012: 2nd International IEEE Workshop on on Advanced Information Systems for Enterprises (IWAISE) in Constantine, Algeria, General co-Chair with M. Boufaida
2012: 18th International Symposium on Formal Methods (IFM) in Paris, Tutorial co-chair with S. Haddad
2009: 30th International Conference on Petri Nets and Other Notation for Concurrency (Paris), General Chair
2008: 1st International IEEE Workshop on on Advanced Information Systems for Enterprises (IWAISE) in Constantine, Algeria, General co-Chair with M. Boufaida
2006: 13th Monterey Workshop in Paris, General Chair
2000: 11th International Workshop on Rapid System Prototyping in Paris, General Chair

Scientific Associations

2009-2013: founding member of the SEE-club Systèmes Complexe, this club is now merged together with three others clubs into the SEE-club-AIS (Automatique, Informatique et Systèmes).
2005-: founding Member of MeFOSyLoMa (Méthodes Formelles pour les Systèmes Logiciels et Matériels)
1998-2001: President of the Ada-France association

Standardization Activity

2004-: AFNOR representative at ISO/IEC for the Petri Net Standard ISO/IEC-15909 (Petri Nets)

Evaluation

2021: president of the HCÉRES evaluation committee for the Lab-STICC laboratory
2019: president of the HCÉRES evaluation committee for the LAAS laboratory
2016-2017: expert at AEQES for Computer Science (evaluation of higher education institutions in Belgium)
2011-2012: expert at AEQES for Computer Science (evaluation of higher education institutions in Belgium)
2010: expert at AERES for the Evaluation of LSTI (Mines de Saint-Etienne)

Recruiting Committees (Comités de Sélection) for
Maître de Conférences and Professors

2020: in Telecom Paris (recruitment of a «maître de conférences»),
2015: in UPMC (2 committees, president + participation),
2014: in Univ. Paris 13,
2013: in UPMC (president), and Telecom ParisTech (commission d'évaluation des appellations),
2012: in UPMC (president), Univ. Paris 1, Univ. de la Réunion, and Telecom ParisTech (commission d'évaluation des appellations),
2011: in UPMC (president), Univ. Paris 13, and Telecom ParisTech (commission d'évaluation des appellations),
2010: in UPMC, and Univ. Evry Val d'Essone,
2009: in UPMC (president), Univ. Nanterre, and Univ. Lille I,
2008-: elected member of the recruitment commission at UPMC (reelected in 2011),
2001-2005: external member of the recruitment commission at Univ. Evry Val d'Essone.

LIP6

2004-2007 and 2011-2014: member of the Laboratory board (Conseil de Laboratoire)
2002-: member of the Scientific board (Conseil Scientifique du laboratoire)