20 Years of TACAS Workshop and Celebration, ETAPS, Grenoble, France, 2014.
MFDL / MTV2 (Méthodes Formelles pour le Développement Logiciel / Méthodes de Test pour la Vérification et la Validation), Grenoble, France, January 13-14, 2014.
WS25CCC (Jubilee Workshop on 25 Years of Combining Compositionality and Concurrency), Königswinter, Germany, August 6-9, 2013.
Forum Méthodes Formelles, Toulouse, France, November 13, 2012.
Dagstuhl Seminar 13051 (Software Certification: Methods and Tools), Schloss Dagstuhl, Germany, January 27-31, 2013.
FMICS 2012, Paris, France, August 27-28, 2012.
Topcased Days, panel session, Toulouse, France, February 2-4, 2011.
8th LASER Summer School on Software Engineering - Tools for Practical Software Verification, Elba Island, Italy, September 4-10, 2011.
FOSSA 2010 (Free Open Source Academia conference), panel session, Grenoble, France, November 8, 2010.
COMPASS 2009 workshop at ETAPS, York, United Kingdom, March 29, 2009.
Embedded Systems Exhibition, Grenoble, France, October 14-15, 2009.
FOSSA 2009 (Free Open Source Academia conference), Grenoble, France, November 17-18, 2009.
FNRS Contact Group on Fundamental Computer Science Annual Meeting, Louvain-la-Neuve, Belgium, December 16, 2009.
IPA Spring Days on Integrating Formal Methods, Rhenen, The Netherlands, May 7-9, 2008.
IFIP WG 1.8 Concurrency Theory Workshop on Applying Concurrency Research in Industry, Lisbon, Portugal, September 7, 2007.
LIX Colloquium on Emerging Trends in Concurrency Theory, Ecole Polytechnique, Palaiseau, France, November 13-15, 2006.
Algebraic Process Calculi: The First Twenty Five Years and Beyond, Bertinoro (Forlì), Italy, August 1-5, 2005.
11ème RII (11ème Rencontre INRIA-Industrie - L'ingénierie du logiciel), INRIA Rocquencourt, France, January 27, 2004.
X-TACAS (10th Anniversary of TACAS), Barcelona, Spain, March 27-28, 2004.
PAM (Process Algebra Meeting), Amsterdam, The Netherlands, May 12, 2004.
ETR 2003 (Ecole d'Eté Temps Réel 2003), Toulouse, France, September 9-12, 2003.
Dagstuhl Seminar 03451 (Applied Deductive Verification), Schloss Dagstuhl, Germany, November 2-7, 2003.
FAC'2002 (10èmes journées sur la Formalisation des Activités Concurrentes), Toulouse, France, March 26-27, 2002.
SFM-02:MC (2nd International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model Checking), Bertinoro (Forlì), Italy, September 9-14, 2002.
FMICS'98 (3rd International Workshop on Formal Methods for Industrial Critical Systems), Amsterdam, The Netherlands, May 25-26, 1998.
GRECO Informatique seminar (together with Didier Bert), CNIT Paris La Défense, France, June 6-7, 1996.
CFIP'95 (Colloque Francophone sur l'Ingénierie des Protocoles), Rennes, France, May 1995.
GRECO Informatique seminar (together with Didier Bert), CNIT Paris La Défense, France, March 15-16, 1995.
PARADIS (Parallel and Distributed Systems) summer school, Sinaia, Romania, August 1995.