Hubert Garavel |
|
|
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.