ETAPS 2023
Call for Papers
Conferences
Programme
Proceedings
Satellite Events
Invited Speakers
Social Events
Registration
Attending
Organizers
About
About ETAPS
ETAPS Association
Steering Committee
Sustainability
ETAPS-F
FoPSS Schools
Anti-Harassment Policy
DEI Policy
Disclaimer
Conferences
ESOP
FASE
FoSSaCS
TACAS
Proceedings
Awards
Best Paper
Test of Time
Doctoral Dissertation
Test-of-Time Tool
Lifetime
Past Editions
ETAPS Blog
Future Editions
ETAPS 2026
Log in | Join us
Log in | Join us
Invited Speakers
Unifying speakers and invited speakers of each ETAPS conference.
Véronique Cortier
CNRS, LORIA laboratory, France
Unifying speaker
Thomas A. Henzinger
Institute of Science and Technology, Austria
Unifying speaker
Mooly Sagiv
Certora and Tel Aviv University
ESOP invited speaker
Sven Apel
Saarland University, Germany
FASE invited speaker
Joost-Pieter Katoen
RWTH Aachen University, Germany
Tutorial speaker
Ana-Lucia Varbanescu
University Twente, Netherlands
Tutorial speaker
