Workshops I have been or am Co-Chairing, Co-Organizing or Co-Steering
Started together with Grigore Rosu the Runtime Verification workshops series, member of
steering committee:
http://www.runtime-verification.org
RV 2008
The 8th International Workshop on Runtime Verification.
Satellite event of ETAPS, March 30, 2008,
Budapest, Hungary.
Organizer and chair: Martin Leucker
(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
|
