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
|
