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 2011
The 2nd International Conference on Runtime Verification.
San Francisco, USA, September 27-30, 2011.
(my role: Steering committee member and providing finanical guarantees).
VVPS'11
The 3rd International Workshop on Verification and Validation for
Planning and Scheduling Systems.
Freiburg, Germany, June 13, 2011.
Satellite event of ICAPS'11,
the 21st International Conference on Automated Planning and Scheduling.
(my role: Co-chair).
NFM 2011
The 3rd NASA Formal Methods Symposium.
Pasadena, USA, April 18-20, 2011.
(my role: Program chair).
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
|
