Hubert Garavel

Editorial Responsibilities

Journals

Co-editor of several journal special issues:

Hubert Garavel and John Hatcliff. International Journal on Software Tools for Technology Transfer (STTT), special section on Tools and Algorithms for the Construction and Analysis of Systems, vol. 8, num. 1, February 2006.

Hubert Garavel and John Hatcliff. Theoretical Computer Science (TCS), special issue on Tools and Algorithms for the Construction and Analysis of Systems, vol. 354, num. 2, March 2006.

Hubert Garavel, Stefania Gnesi, and Ina Schieferdecker. Science of Computer Programming (SCICO), special issue on Formal Methods for Industrially Critical Systems, vol. 46, num. 3, 2003.

Hubert Garavel, Roland Groz, and Guy Leduc. Réseaux et protocoles. Technique et Science Informatiques, vol. 18, num. 6, June 1999.

Hubert Garavel, Roland Groz, and Claude Jard. Méthodes formelles : validation de systèmes critiques (1). Technique et Science Informatiques, vol. 16, num. 6, June 1997.

Hubert Garavel, Roland Groz, and Claude Jard. Méthodes formelles : validation de systèmes critiques (2). Technique et Science Informatiques, vol. 16, num. 9, November 1997.

From 1995 to 1998, member of the Editorial Board of TSI (Technique et Science Informatiques), the main computer science journal published in French.

Conferences and Workshops

Steering committees:

Member of the FMICS Board

Member of the PDMC Steering Committee

Program committee co-chair for international conferences and workshops:

Co-chair of TACAS'2003 (8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Warsaw, Poland, April 5-13, 2003.

Co-chair FMICS'2002 (7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems), Málaga, Spain, July 12-13, 2002.

Tool chair of TACAS'2002 (7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Grenoble, France, April 8-12, 2002.

Program committee member for international conferences and workshops:

TOPCASED Days, Toulouse, France, February 2-4, 2011.

DCDS 11 (3rd International Workshop on Dependable Control of Discrete Systems), Saarbrücken, Germany, June 15-17, 2011.

WTBFM'2010 (Workshop on Tool Building in Formal Methods - in conjunction with the 2nd International ABZ Conference), Orford, Quebec, Canada, February 22, 2010.

FMICS'2010 (15th International Workshop on Formal Methods for Industrial Critical Systems), Antwerp, Belgium, September 20-21, 2010.

IFM'2010 (8th International Conference on Integrated Formal Methods), Nancy, France, October 11-14, 2010.

FMICS'2009 (14th International Workshop on Formal Methods for Industrial Critical Systems), Eindhoven, The Netherlands, November 2-3, 2009.

TACAS'2007 (13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Porto, Portugal, March 24-April 1st, 2007.

FORTE'2007 (27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems), Tallinn, Estonia, June 26-29, 2007.

TACAS'2006 (12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Vienna, Austria, March 25-April 2, 2006.

PDMC'2006 (5th International Workshop on Parallel and Distributed Methods in VerifiCation), Bonn, Germany, August 26-27, 2006.

FORTE'2006 (26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems), Paris, France, September 26-29, 2006.

PDMC'2005 (4th International Workshop on Parallel and Distributed Methods in VerifiCation), Lisbon, Portugal, July 10, 2005.

SoftMC'2005 (3rd International Workshop on Software Model Checking), Edinburgh, Scotland, UK, July 11, 2005.

PDMC'2004 (3rd International Workshop on Parallel and Distributed Methods in VerifiCation), London, United Kingdom, September 4, 2004.

PDMC'2003 (2nd International Workshop on Parallel and Distributed Model Checking), Boulder, Colorado, USA, July 14, 2003.

TACAS'2002 (8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Grenoble, France, April 8-12, 2002.

PDMC'2002 (Workshop on Parallel and Distributed Model Checking), Brno, Czech Republic, August 19, 2002.

FORTE'2002 (Formal Techniques for Networked and Distributed Systems), Rice University, Houston, Texas, USA, November 11-14, 2002.

TACAS'2001 (7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Genova, Italy, 2-6 April, 2001.

SoftMC'2001 (Workshop on Software Model Checking), Paris, France, July 23, 2001.

FMICS'2000 (5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems), Berlin, Germany, April 3-4, 2000.

CFIP'2000 (Colloque Francophone sur l'Ingénierie des Protocoles), Toulouse, France, October 17-20, 2000.

TACAS'99 (5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems), Amsterdam, The Netherlands, March 22-26, 1999.

CFIP'99 (Colloque Francophone sur l'Ingénierie des Protocoles), Nancy, France, April 26-29, 1999.

ARTS'99 (5th International AMAST Workshop on Real-Time and Probabilistic Systems), Bamberg, Germany, May 26-28, 1999.

FMICS'99 (4th International ERCIM Workshop on Formal Methods for Industrial Critical Systems), Trento, Italy, July 11-12, 1999.

ARTS'97 (4th AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software), Palma de Mallorca, Mallorca, May 21-23, 1997.

COST 247 2nd International Workshop on Applied Formal Methods in System Design, Zagreb, Croatia, June 18-19, 1997.

COST 247 1st International Workshop on Applied Formal Methods in System Design, Maribor, Slovenia, June 17-19, 1996.

Version 1.32 - Date 2013/05/17 13:20:20