Home

  Research

  Papers

  Future events

  Event organization

  Invited presentations

  Program committees

  Contact me

 

Conference and Workshop Organization



Current Steering Committee Roles

  • Steering committee member for the RV (Runtime Verification) conference, which I started with Grigore Rosu in 2001 as a workshop. In 2010 it became a conference.

  • Steering committee member for the NFM (NASA Formal Methods) conference.

  • On the advisory board for FME (Formal Methods Europe).

Former Steering Committee Roles

  • Industrial Committee chair for the FME (Formal Methods Europe) conference organization. See the industry committee website.

  • Chair of the steering committee for the RV (Runtime Verification) conference during 2010-2017.
    I co-started this as a workshop with Grigore Rosu in 2001. It became a conference in 2010.

  • Chair of the steering committee for the NFM (NASA Formal methods) conference during 2011-2017.

  • Steering committee member for the ETAPS conference series during 2014-2015.

  • Steering committee member for the SPIN symposium during 2009.


Direct involvement in organization

AISoLA 2023
11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - with focus on AI.
Special track titled: AI Assisted Programming.
Crete, Greece, October 23-28, 2023.
(my role: Co-organizer of special track together with Wolfgang Ahrendt).

NFM 2022
The 13th NASA Formal Methods Symposium.
Pasadena, California, USA, May 24-27, 2022.
(my role: PC chair, main organizers out of JPL).

ISoLA 2022
10th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation.
Special track titled: Programming - What is Next, The Role of Documentation.
Rhodes, Greece, October 24 - 28, 2022.
(my role: Co-organizer of special track together with Bernhard Steffen).

ISoLA 2021
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation.
Special track titled: Programming - What is Next?.
Rhodes, Crete, October 25 - 29, 2021.
(my role: Co-organizer of special track together with Bernhard Steffen).

ISoLA 2018
7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation.
Special track titled: Towards a Unified View of Modeling and Programming.
Limassol, Cyprus, October 30 - November 13, 2018.
(my role: Co-organizer of special track together with Manfred Broy, Rahul Kumar, and Bernhard Steffen).

FM 2018 I-Day - Industry day
22nd International Symposium on Formal Methods, Oxford, UK, July 15-17, 2018. (my role: co-chair).

Dagstuhl Seminar on A Shared Challenge in Behavioural Specification
Schloss Dagstuhl, Saarland, Germany, November 12-15, 2017 (my role: Co-organizer together with Martin Leucker, Giles Reger, and Volker Stolz).

RV-CuBES 2017
An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools.
Seattle, Washington State, USA, September 15, 2017.
(my role: PC chair).

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: Towards a Unified View of Modeling and Programming.
Corfu, Greece, October 6-14, 2016.
(my role: Co-organizer of special track together with Manfred Broy, Rahul Kumar, and Bernhard Steffen).

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