Hubert Garavel |
|
|
Managing Large Collections of Benchmarks: An Experiment Report,
Lorentz Workshop on Advancing Verification Competitions as a Scientific
Method, Leiden, The Netherlands, February 18-22, 2019.
The Rewrite Engines Competitions: A RECtrospective, TOOLympics
event at ETAPS 2019, Prague, Czech Republic, April 6-7, 2019.
Panel session on "Moore's Law, and More?", 25th Anniversary of
the TACAS conference, Prague, Czech Republic, April 7, 2019.
"From Safe Petri Nets to NUPNs",
8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory,
Amsterdam, The Netherlands, August 31, 2019.
"Converting Safe Petri Nets to NUPNs",
Saarland University, Saarbrücken, Germany, September 26, 2019.
"Concurrency Theory Meets IoT",
Lorentz Workshop on Safety of Future Systems - Science Meets Industry, Leiden, The Netherlands, April 9-13, 2018.
"Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition", 12th International Workshop on Rewriting Logic and its Applications, Thessaloniki, Greece, April 14-15, 2018.
"Two Festschrift papers for Bernhard Steffen",
Festschrift event in honour of Bernhard Steffen's 60th Birthday,
Limassol, Cyprus, November 4, 2018.
"Nested-Unit Petri Nets",
IFIP WG 1.8 Research Seminar on Open Problems in Concurrency Theory, Vienna, Austria, June 26-29, 2017.
"From LOTOS to LNT",
ModelEd, TestEd, TrustEd Symposium in honour of Ed Brinksma's 60th Birthday, University of Twente, The Netherlands, October 18, 2017.
"Nested-Unit Petri Nets",
German national D-CON meeting,
Saarbrücken, Germany, March 7-8, 2016.
"Term Rewrite Systems and the Definition of Signed Integers" and "Benchmarking Implementations of Conditional Term Rewrite Systems",
MeFoSyLoMa seminar,
LSV Cachan, France, September 30, 2016.
"Nested-Unit Petri Nets: Combining Hierarchy with Concurrency",
LIP6 seminar,
Université Pierre et Marie Curie, Paris, France, May 6, 2015.
"Les aspects probabilistes dans CADP",
Journée Inria,
Université Pierre et Marie Curie, Paris, France, December 8, 2015.
"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.
"Benchmarks and Benchmarking: The Model Checking Contest",
20 Years of TACAS
Workshop and Celebration,
ETAPS, Grenoble, France, April 8, 2014.
"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.
"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.
"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.
"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.
GRECO Informatique seminar (together with Didier Bert),
CNIT Paris La Défense, France, March 15-16, 1995.
CFIP'95 (Colloque Francophone sur l'Ingénierie des Protocoles),
Rennes, France, May 1995.
PARADIS (Parallel and Distributed Systems) summer school,
Sinaia, Romania, August 1995.