Home

  Research

  Papers

  Future events

  Event organization

  Invited presentations

  Program committees

  Contact me

 

Conference and Workshop Organization



Current Steering Committee Roles

Former Steering Committee Roles

  • Steering committee member for ETAPS during 2014-2015 ETAPS.

  • Steering committee member during 2009 for the SPIN workshop series.


Direct involvement in organization

RV 2017
The 16th International Conference on Runtime Verification.
Seattle, Washington State, USA, September 13-16, 2017.
(my role: General chair).

SPIN 2017
The 24th International SPIN Symposium on Model Checking of Software.
Santa Barbara, California, USA, April, 2017.
(role: Co Program chair)

ISoLA 2016
6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation.
Special track titled: Static and Runtime Verification: Competitors or Friends?
Corfu, Greece, October 6-14, 2016.
(my role: Co-organizer of special track together with Dilian Gurov, Marieke Huisman, and Rosemary Monahan).

RV 2016
The 16th International Conference on Runtime Verification.
Madrid, Spain, September 23-30, 2016.
(my role: Tool chair).

NFM 2015
The 7th NASA Formal Methods Symposium.
Pasadena, California, USA, April 27-29, 2015.
(my role: Program chair).

RV 2014
The 5th International Conference on Runtime Verification.
Waterloo, Canada, September, 2014.
(my role: Publicity committee member).

Dagstuhl Seminar on Next Generation Static Software Analysis Tools
Schloss Dagstuhl, Saarland, Germany, August 25-29, 2014 (my role: Co-organizer together with Patrick Cousot, Daniel Kroning, Carsten Sinz, and Mana Taghdiri).

CPS SCHOOL 2014
Summer School on Cyber-Physical Systems - 2014 Edition. Organized by PERSYVAL-Lab and NASA-JPL. Grenoble, France, July 7-11, 2014.
(my role: Co-organizer together with Saddek Bensalem and Ylies Falcone).

TACAS 2014
20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.
Grenoble, France, April 6-13, 2014.
(my role: Programmee Chair together with Erika Abraham).

RV 2011
The 2nd International Conference on Runtime Verification.
San Francisco, USA, September 27-30, 2011.
(my role: Unofficially 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, California, 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).

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

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 2004
The 4th International Workshop on Runtime Verification. (my role: Co-chair).

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