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
2026
AISoLA 2026 — Track co-organizerKos, Greece, October 27-31, 2026.
AISoLA 2026
14th International Symposium On Leveraging Applications of Formal Methods,
Verification and Validation - with focus on AI.
Special track titled: AI Assisted Programming.
Kos, Greece, October 27-31, 2026.
(my role: Co-organizer of special track together with Wolfgang Ahrendt and Bernhard Aichernig).
2025
RVCase 2025 — Co-organizerGraz, Austria, September 15, 2025.
RVCase 2025
Runtime Verification Case-Studies Workshop.
Graz, Austria, September 15, 2025.
(my role: Co-organizer together with Sean Kauffman).
AISoLA 2025 — Track co-organizerRhodes, Greece, November 1-5, 2025.
AISoLA 2025
13th International Symposium On Leveraging Applications of Formal Methods,
Verification and Validation - with focus on AI.
Special track titled: AI Assisted Programming.
Rhodes, Greece, November 1-5, 2025.
(my role: Co-organizer of special track together with Wolfgang Ahrendt and Bernhard Aichernig).
2024
AISoLA 2024 — Track co-organizerCrete, Greece, October 30 - Novemmber 3, 2024.
AISoLA 2024
12th International Symposium On Leveraging Applications of Formal Methods,
Verification and Validation - with focus on AI.
Special track titled: AI Assisted Programming.
Crete, Greece, October 30 - Novemmber 3, 2024.
(my role: Co-organizer of special track together with Wolfgang Ahrendt and Bernhard Aichernig).
2023
AISoLA 2023 — Track co-organizerCrete, Greece, October 23-28, 2023.
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).
2022
NFM 2022 — PC chairPasadena, California, USA, May 24-27, 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 — Track co-organizerRhodes, Greece, October 24 - 28, 2022.
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).
2021
ISoLA 2021 — Track co-organizerRhodes, Crete, October 25 - 29, 2021.
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).
2018
ISoLA 2018 — Track co-organizerLimassol, Cyprus, October 30 - November 13, 2018.
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 — co-chair22nd International Symposium on Formal Methods, Oxford, UK, July 15-17, 2018.
FM 2018 I-Day - Industry day
22nd International Symposium on Formal Methods, Oxford, UK, July 15-17, 2018.
(my role: co-chair).
2017
Dagstuhl — Behavioural Specification 2017 — Co-organizerSchloss Dagstuhl, Saarland, Germany, November 12-15, 2017
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 — PC chairSeattle, Washington State, USA, September 15, 2017.
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).
2016
ISoLA 2016 — Track co-organizerCorfu, Greece, October 6-14, 2016.
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 — Track co-organizerCorfu, Greece, October 6-14, 2016.
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).
2015
2014
RV 2014 — Publicity committee memberWaterloo, Canada, September, 2014.
The 5th International Conference on Runtime Verification.
Waterloo, Canada, September, 2014.
(my role: Publicity committee member).
Dagstuhl — Static Analysis Tools 2014 — Co-organizerSchloss Dagstuhl, Saarland, Germany, August 25-29, 2014
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 — Co-organizerGrenoble, France, July 7-11, 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 — Program chairGrenoble, France, April 6-13, 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).
2011
RV 2011 — Financial support (unofficial)San Francisco, USA, September 27-30, 2011.
RV 2011
The 2nd International Conference on Runtime Verification.
San Francisco, USA, September 27-30, 2011.
(my role: Unofficially providing finanical guarantees).
VVPS'11 2011 — Co-chairFreiburg, Germany, June 13, 2011.
2010
RV 2010 — General chairMalta, November 1-4, 2010.
RV 2010
The 1st International Conference on Runtime Verification.
Malta, November 1-4, 2010.
(my role: General chair).
Dagstuhl — Runtime Verification 2010 — Co-organizerSecond Dagstuhl event on Runtime Verification, Schloss Dagstuhl, Saarland, Germany, November 7-12, 2010
Dagstuhl Seminar on Runtime Verification
Second Dagstuhl event on Runtime Verification, Schloss Dagstuhl, Saarland, Germany, November 7-12, 2010
(my role: Co-organizer).
2009
VVPS'09 2009 — Co-chairThessaloniki, Greece, September 19-23, 2009.
2008
2007
Dagstuhl — Runtime Verification 2007 — Co-organizerFirst Dagstuhl event on Runtime Verification, Schloss Dagstuhl, Saarland, Germany, January 3-6, 2007
Dagstuhl Seminar on Runtime Verification
First Dagstuhl event on Runtime Verification, Schloss Dagstuhl, Saarland, Germany, January 3-6, 2007
(my role: Co-organizer).
2006
FATES/RV 2006 — Co-chair
FATES/RV 2006
The 1st Joint International Workshop on
Formal Aspects of Testing and Runtime Verification.
(my role: Co-chair).