"Nested-Unit Petri Nets", German national D-CON meeting, Saarbrücken, Germany, March 7-8, 2016.
"Les aspects probabilistes dans CADP", Journée Inria, Université Pierre et Marie Curie, Paris, France, December 8, 2015.
"Nested-Unit Petri Nets: Combining Hierarchy with Concurrency", LIP6 seminar, Université Pierre et Marie Curie, Paris, France, May 6, 2015.
"Reconciling Concurrency Theory with Other Branches of Computer Science", IFIP WG 1.8 Research Seminar on Open Problems in Concurrency Theory, Bertinoro (Forlì), Italy, June 18-21, 2014.
"Benchmarks and Benchmarking: The Model Checking Contest", 20 Years of TACAS Workshop and Celebration, ETAPS, Grenoble, France, April 8, 2014.
"Trois décennies de réussite en méthodes formelles", 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.
"25 Years of Compositionality Issues in CADP: An Overview", WS25CCC (Jubilee Workshop on 25 Years of Combining Compositionality and Concurrency), Königswinter, Germany, August 6-9, 2013.
"Trois décennies de réussite en méthodes formelles", Forum Méthodes Formelles, Toulouse, France, November 13, 2012.
"A Naive Look at Software Certification Practices - and Proposals for Enhancement", Dagstuhl Seminar 13051 (Software Certification: Methods and Tools), Schloss Dagstuhl, Germany, January 27-31, 2013.
"Three Decades of Success Stories in Formal Methods", 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.