Home

  Research

  Papers

  Future Events

  Workshops

  Invited presentations

  Program committees

  Contact me

 

Workshops and Conferences
I have been or am Co-Chairing or Co-Steering



I started together with Grigore Rosu the Runtime Verification workshops series, and I am member of the steering committee:

http://www.runtime-verification.org



RV 2010
The 1st International Conference on Runtime Verification.
Malta, November 1-4, 2010.
(my role: General chair).

Dagstuhl Seminar on Runtime Verification
Second Dagstuhl event on Runtime Verification, Schloss Dagstuhl, Saarland, Germany, November 7-12, 2010 (my role: Co-organizer).

VVPS'09
The 2nd International Workshop on Verification and Validation of Planning and Scheduling Systems.
Thessaloniki, Greece, September 19-23, 2009.
Satellite event of ICAPS'09, the 19th International Conference on Automated Planning and Scheduling.
(my role: Co-chair).

NFM 2009
The 1'st NASA Formal Methods Symposium.
Mountain View (Silicon Valley), California, USA, April 6-8, 2009. (my role: Organizing Committee)

RV 2009
The 9th International Workshop on Runtime Verification.
Grenoble, France, June 26-June 28, 2009. (my role: Steering committee member)

SPIN 2009
16th International SPIN Workshop on Model Checking of Software.
Grenoble, France, June 26-28, 2009, Co-located with CAV 2009. (my role: Steering committee member)

RV 2008
The 8th International Workshop on Runtime Verification.
Satellite event of ETAPS, March 30, 2008, Budapest, Hungary. (my role: Steering committee member)

SPIN 2008
The 15th International SPIN Workshop on Model Checking Software
University of California - Los Angeles, August 10-12, 2008. (role: Co-chair)

RV 2007
The 7th International Workshop on Runtime Verification. (my role: Steering committee member).

Dagstuhl Seminar on Runtime Verification
First Dagstuhl event on Runtime Verification, Schloss Dagstuhl, Saarland, Germany, January 3-6, 2007 (my role: Co-organizer).

FATES/RV 2006
The 1st Joint International Workshop on Formal Aspects of Testing and Runtime Verification. (my role: Co-chair).

VVPS'05
The 1st International Workshop on Verification and Validation of Model-Based Planning and Scheduling Systems. (my role: Co-chair).

RV 2005
The 5th International Workshop on Runtime Verification. (my role: Steering committee member).

RV 2004
The 4th International Workshop on Runtime Verification. (my role: Co-chair).

RV 2003
The 3rd International Workshop on Runtime Verification. (my role: Steering Committee member).

RV 2002
The 2nd International Workshop on Runtime Verification. (my role: Co-chair).

RV 2001
The 1st International Workshop on Runtime Verification (my role: Co-chair).

SPIN 2000
The 7th International SPIN Workshop on Model Checking of Software
(my role: chair and main organizer; together with G. Holzmann, J. Penix, and W. Visser).


Free website templates