Programme Satellite Events
Satellite events will take place during the weekend of April 10–11, 2027, ahead of the main conferences.
In case of any general questions regarding satellite events, please contact the ETAPS 2027 workshop chairs and the ETAPS satellite event coordinator:
- Debasmita Lohar (IT University of Copenhagen, Denmark)
- Raúl Pardo (IT University of Copenhagen, Denmark)
- Guy Amir (Cornell, US)
AnalyseThat 2027
AnalyzeThat
Organized by: André Maroneze, Raphaël Monat
Organized by: André Maroneze, Raphaël Monat
COOP 2027
Cooperative Software Verification
Organized by: Dirk Beyer, Heike Wehrheim
Organized by: Dirk Beyer, Heike Wehrheim
FMBC 2027
Formal Methods for Blockchains
Organized by: Elvira Albert, Alejandro Hernández Cerezo
Organized by: Elvira Albert, Alejandro Hernández Cerezo
FMQC 2027
Formal Methods in Quantum Computing
Organized by: Giorgio Bacci, Robin Kaarsgaard
Organized by: Giorgio Bacci, Robin Kaarsgaard
MARS 2027
Models for Formal Analysis of Real Systems
Organized by: Marco Bernardo, Christian Schilling
Organized by: Marco Bernardo, Christian Schilling
PLACES 2027
Programming Language Approaches to Concurrency and Communication-cEntric Software
Organized by: TBA
Organized by: TBA
REMARO 2027
Reliability Engineering Methods for Autonomous Robots
Organized by: Nico Hochgeschwender, Mahsa Varshosaz
Organized by: Nico Hochgeschwender, Mahsa Varshosaz
RRRR 2027
Reproducibility and Replication of Research Results
Organized by: Arnd Hartmanns, Sean Kauffman
Organized by: Arnd Hartmanns, Sean Kauffman
TADM 2027
Trustworthy Automated Decision Making
Organized by: Ramesh Bharadwaj, Ilya Parker
Organized by: Ramesh Bharadwaj, Ilya Parker
TOOLympics 2027
TOOLympics
Organized by: Dirk Beyer, Arnd Hartmanns
Organized by: Dirk Beyer, Arnd Hartmanns
VerifyThis 2027
VerifyThis
Organized by: Rosemary Monahan, Mattias Ulbrich, Marieke Huisman, Peter Müller, Neea Rusch, Mário Pereira
Organized by: Rosemary Monahan, Mattias Ulbrich, Marieke Huisman, Peter Müller, Neea Rusch, Mário Pereira
EMW 2027