Invited Presentations

2026

RExAI 2026May 4, 2026 - Los Angeles, USA.

Invited speaker at:
RExAI 2026
Formal Requirements Engineering and Artificial Intelligence, May 4, 2026 - Los Angeles, USA.

OSDF 2026February 4, 2026 - JPL, Pasadanea, USA.

Invited speaker at:
OSDF 2026
Open Systems Development Forum, February 4, 2026 - JPL, Pasadanea, USA.

2025

ICTAC 202524-28 November 2025 - Marrakesh, Morocco.

Invited speaker at:
ICTAC 2025
22nd International Colloquium on Theoretical Aspects of Computing, 24-28 November 2025 - Marrakesh, Morocco.

2024

VORTEX 2024 — presented by Doron Peled19 September 2024 - Vienna, Austria.

Invited speaker at:
VORTEX 2024
7th Workshop on Verification and Monitoring at Runtime Execution, 19 September 2024 - Vienna, Austria. I could, however, not travel at that time, and Doron Peled was invited instead, and gave a talk on our common work.

2023

JanFest 2023 — paper onlyMarch 3, 2023 - Bremen, Germany.

Invited paper (did not present) at: JanFest 2023. Festive Colloquium for Prof. Dr. Jan Peleska on the occasion of his 65th Birthday, March 3, 2023 - Bremen, Germany.

2022

ISoLA 202222-30 October 2022 - Rhodes, Greece.

Invited speaker at:
ISoLA 2022
11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Track: Specify This - Bridging gaps between program specification paradigms. 22-30 October 2022 - Rhodes, Greece.

2020

ICTAC 202030 November - 4 December 2020 - Macau, China, virtual participation.

Invited speaker at:
ICTAC 2020
17th International Colloquium on Theoretical Aspects of Computing, 30 November - 4 December 2020 - Macau, China, virtual participation. Talk on youtube.

ESEC/FSE 20206-16 November 2020, Sacramento, California, United States, virtual participation.

Invited speaker with Willem Visser at:
ESEC/FSE 2020
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 6-16 November 2020, Sacramento, California, United States, virtual participation. Occasion: the selection of our paper 'Model checking programs', Willem Visser, Klaus Havelund, Guillaume Brat, and SeungJoon Park, published at ASE 2000, for the 2020 SIGSOFT Impact Paper Award.

ATVA 202019-23 October 2020 - Hanoi, Vietnam, virtual participation.

Invited speaker with Doron Peled at:
ATVA 2020
The 18'th International Symposium on Automated Technology for Verification and Analysis, 19-23 October 2020 - Hanoi, Vietnam, virtual participation. Talk on youtube.

2018

RV 201810-13 November 2018 - Limassol, Cyprus.

Invited speaker with Grigore Rosu at:
RV 2018
18th International Conference on Runtime Verification, 10-13 November 2018 - Limassol, Cyprus.

ISoLA 2018 — with Doron Peled5-9 November 2018 - Limasol, Cyprus.

Invited speaker with Doron Peled at:
ISoLA 2018
8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Track: RV-TheToP: Runtime Verification from the Theory To the Industry Practice, 5-9 November 2018 - Limasol, Cyprus.

ISoLA 2018November 5-9, 2018, Limassol, Cyprus.

Invited speaker at:
ISoLA 2018
8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation.
November 5-9, 2018, Limassol, Cyprus.

SPIN 2018June 20-22, 2018, Malaga, Spain.

Invited speaker together with Doron Peled at:
SPIN 2018, the 25th International Symposium on Model Checking of Software.
June 20-22, 2018, Malaga, Spain.

2017

Software Correctness & Reliability — 2017Oct 13-14, 2017, ETH Zurich, Switzerland.

Invited speaker at:
Workshop on Software Correctness and Reliability.
Oct 13-14, 2017, ETH Zurich, Switzerland.

2016

USC — 2016November 1, 2016. Los Angeles, California, USA.

Invited talk at:
USC (University of Southern California) in the CS Colloquium Lecture series. November 1, 2016. Los Angeles, California, USA. Invited by Chao Wang.

RV 2016September 23-30, 2016. Madrid, Spain.

Invited lecture for:
RV 2016 The 16th International Conference on Runtime Verification.
September 23-30, 2016. Madrid, Spain.

NFM'16 — panel — 2016June 7-9, 2016, Minneapolis, MN, USA.

Invited panel speaker for:
NFM'16 (8th NASA Formal Methods Symposium).
June 7-9, 2016, Minneapolis, MN, USA.

CTI conference — 2016June 6-8, 2016. Detroit, MI, USA.

Invited speaker at:
CIT 2017 The 5th International CTI Conference.
June 6-8, 2016. Detroit, MI, USA.

IFIP Working Group 2.3 — observer — 2016January 11-15, 2016. Pasadena, California, USA.

Invited as observer at:
IFIP Working Group 2.3 (Programming Methodology).
January 11-15, 2016. Pasadena, California, USA.

2015

SyDe Summer School 2015September 9-11, 2015, Bremen, Germany.

Invited lecture for:
SyDe Summer School 2015 Post Graduate Program in System Design.
September 9-11, 2015, Bremen, Germany.

EITEC'15 — 2015April 13, 2015, Seattle, Washington, USA.

Invited talk for:
EITEC'15 2nd International IFIP Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems.
April 13, 2015, Seattle, Washington, USA.

2014

FTSCS'14 — 2014November 6-7, 2014, Luxembourg.

Invited presentation for:
FTSCS'14 Third International Workshop on Formal Techniques for Safety-Critical Systems.
November 6-7, 2014, Luxembourg.

ISoLA'14 — tool panel — 2014October 8-11, 2014, Corfu, Greece.

Participant on "Tool panel" at:
ISoLA'14 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation.
October 8-11, 2014, Corfu, Greece. Directed by Dirk Beyer.

ISoLA'14 — Statistical Model Checking track — 2014October 8-11, 2014, Corfu, Greece.

Invited presentation for:
ISoLA'14 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Special track on Statistical Model Checking, Past Present and Future.
October 8-11, 2014, Corfu, Greece.

TASE'14 — 2014September 1-3, 2014, Changsha, China.

Invited talk for:
TASE'14 The 8th International Symposium on Theoretical Aspects of Software Engineering.
September 1-3, 2014, Changsha, China.

IFIP Working Group 1.9/2.15 — observer — 2014July 14-16, 2014 meeting. Vienna.

Invited as observer at IFIP Working Group 1.9/2.15 (Verified Software) July 14-16, 2014 meeting. Vienna.

2013

IFIP Working Group 1.9/2.15 — observer — 2013December 9-12, 2013 meeting. University of Central Florida, Orlando, Florida, USA.

Invited as observer at IFIP Working Group 1.9/2.15 (Verified Software) December 9-12, 2013 meeting. University of Central Florida, Orlando, Florida, USA.

CERIST Autumn School — 2013Algiers, Algeria, September 30-October 3, 2013.

Invited lecturer (as a private person) for:
The CERIST Autumn School on Cyber-Physical Systems,
Algiers, Algeria, September 30-October 3, 2013.

WODA'13 — 2013March 16, 2013, Houston, Texas, USA.

Invited talk for:
WODA'13 The 11th International Workshop on Dynamic Analysis.
March 16, 2013, Houston, Texas, USA.

2012

ICTSS'12 — 2012November 19-21, 2012, Aalborg, Denmark.

Invited talk for:
ICTSS'12 The 24th IFIP Int. Conference on Testing Software and Systems.
November 19-21, 2012, Aalborg, Denmark.

ISoLA'12 — 2012October 15-18, 2012, Heraklion, Crete.

Invited presentation for:
ISoLA'12 special track on Runtime Verification: the application perspective.
October 15-18, 2012, Heraklion, Crete.

LCCC — 2012September 19-21, 2012, Lund, Sweden.

Invited participant (speaker) at:
LCCC workshop: System Design meets Equation-based Languages.
September 19-21, 2012, Lund, Sweden.

Marktoberdorf Summer School 2012Aug 2012

Invited lecturer for:
The 33rd Marktoberdorf Summer School, Aug 2012 (Engineering Dependable Software Systems).
Title: Verifying Execution Traces.
abstract
slides - prepared in collaboration with Giles Reger and Ylies Falcone.

SSS 2012July 20, 2012, Minneapolis, MN, USA.

Invited talk for:
SSS'12 (Summer Software Symposium).
July 20, 2012, Minneapolis, MN, USA.

NFM'12 — panel — 2012April 3-5, 2012, Norfolk, Virginia, USA.

Invited panel speaker for:
NFM'12 (4th NASA Formal Methods Symposium).
April 3-5, 2012, Norfolk, Virginia, USA.

2011

HOWARD-60 — 2011December 20, 2011, Manchester, UK.

Invited talk for:
HOWARD-60 (Higher-Order Workshop on Automated Runtime Verification and Debugging).
December 20, 2011, Manchester, UK.

TORRENTS'11 — 2011December 12, 2011, Toulouse, France.

Invited talk for:
TORRENTS'11 (2nd TORRENTS Workshop).
December 12, 2011, Toulouse, France.

SEFM'11 — tutorial with Martin Leucker — 2011November 7-18, 2011, Montevideo, Uruguay.

Invited tutorial together with Martin Leucker for:
SEFM'11 (Software Engineering and Formal Methods).
November 7-18, 2011, Montevideo, Uruguay.

EMSOFT'11 — 2011October 9-14, 2011, Taipei, Taiwan.

Invited talk for:
EMSOFT'11 (International Conference on Embedded Software).
October 9-14, 2011, Taipei, Taiwan.

2009

FMA'09 — 2009November, 2009, Eindhoven, the Netherlands.

Invited talk for:
FMA'09 (Formal Methods for Aerospace).
November, 2009, Eindhoven, the Netherlands.
Satellite workshop of FM'09.

SMC-IT 2009 — software reliability workshopJuly 20, 2009, Pasadena, California, USA.

Invited talk for:
SMC-IT'09 workshop: Software Reliability for Space Missions.

July 20, 2009, Pasadena, California, USA.
Satellite workshop of SMC-IT'09.

RV 2009 — tutorialJune 26-28, 2009, Grenoble, France.

Invited tutorial for:
9th International Workshop on Runtime Verfication.

June 26-28, 2009, Grenoble, France.
Satellite workshop of CAV'09.

COMPASS'09 — 2009March 28, 2009, York, UK.

Invited talk for:
COMPASS'09 (Correctness, Modeling and Performance of Aerospace Systems).
March 28, 2009, York, UK.
Satellite workshop of ETAPS'09.

Space: The Final Frontier — school talk — 2009April 1, 2009, Manchester, UK.

Talk for 10-11 graders (Space : The Final Frontier).
April 1, 2009, Manchester, UK.

2008

ARTIST2 Summer School 2008September 8-12, 2008, Autrans (near Grenoble), France.

Lecture talk for:
ARTIST2 Summer School 2008
Title: Rule-Based Runtime Verification
September 8-12, 2008, Autrans (near Grenoble), France.

2006

PADTAD'06 — 2006July 17 2006, Portland, Maine, USA.

Invited talk for:
PADTAD'06 (Parallel and Distributed Systems: Testing and Debugging).
Title: Confirmation of Deadlock Potentials Detected by Runtime Analysis
July 17 2006, Portland, Maine, USA.

NASA JPL-GSFC Quality Mission Software Workshop — 2006May 2, 2006, Santa Barbara, California, USA.

Invited talk for the 8th NASA JPL-GSFC Quality Mission Software Workshop,
May 2, 2006, Santa Barbara, California, USA.

2005

CASSIS'05 — 2005March 8th to March 11th 2005, Nice, France.

Invited talk for:
CASSIS'05 (Construction and Analysis of Safe, Secure and Interoperable Smart devices).

See workshop program session 6: Validation and Formal Methods.
March 8th to March 11th 2005, Nice, France.

VVEIS'05 — 2005May 24, 2005, Miami, Florida.

Invited talk for:
VVEIS'05 (The 3rd International Workshop on Verification and Validation of Enterprise Information Systems).

May 24, 2005, Miami, Florida.
Satellite workshop of ICEIS'05.

2004

Monterey and CUE — 2004Vienna, Austria, October 4-7, 2004.

Participation at:
Monterey and CUE workshops,

Vienna, Austria, October 4-7, 2004.

CAV/ISSTA special event — 2004Boston, USA, July 14, 2004.

Presentation at:
Joint CAV/ISSTA Special Event on Specification, Verification, and Testing of Concurrent Software.
Boston, USA, July 14, 2004.
Slides available on website.

2003

PADTAD'03 — presented by Shmuel Ur — 2003April 22-26 2003, Nice, France.

Invited talk (given by Shmuel Ur) and paper for:
PADTAD'03 (Parallel and Distributed Systems: Testing and Debugging).
Title: Benchmark and Framework for Encouraging Research on Multi-threaded Testing Tools
Authors: Klaus Havelund, Scott Stoller, and Shmuel Ur
April 22-26 2003, Nice, France.

Undated

CISS — Danish industry

Invited talk for Danish industry, arranged by:
CISS (Centre for Embedded Software Systems).

See program.