Programme Satellite Events
Several satellite events are organized at the weekend April 11–12, 2026 before the main conferences.
In case of any general questions regarding satellite events, please contact the workshop chairs:
- Vincenzo Ciancia (CNR-ISTI, Pisa, Italy)
- Luca Paolini (University of Turin, Italy)
- Enrico Beraldo (Synesthesia, Turin, Italy)
The call for satellite events is available here.
PLACES 2026
Sat, April 11
Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Organized by: Luca Padovani
Organized by: Luca Padovani
MISSION 2026
Sat, April 11
Models in Space Systems: Integration, Operation, and Networking
Organized by: Arnd Hartmanns and Thomas Noll and Pedro R. D'Argenio and Juan A. Fraire
Organized by: Arnd Hartmanns and Thomas Noll and Pedro R. D'Argenio and Juan A. Fraire
FMBC 2026
Sat, April 11
7th International Workshop on Formal Methods for Blockchains
Organized by: Diego Marmsoler and MassimoBartoletti
Organized by: Diego Marmsoler and MassimoBartoletti
ConVeY 2026
Sat, April 11
International Workshop on Continuous Verification of Cyber-Physical Systems
Organized by: Dirk Beyer and Thomas Lemberger and Maximilian Perschl
Organized by: Dirk Beyer and Thomas Lemberger and Maximilian Perschl
EMV 2026
Sat, April 11
ETAPS Mentoring Workshop
Organized by: Elvinia Maria Riccobene and Stefan Hallerstade
Organized by: Elvinia Maria Riccobene and Stefan Hallerstade
AnalyzeThat 2026
Sun, April 12
AnalyzeThat
Organized by: Raphaël Monat and Helmut Seidl
Organized by: Raphaël Monat and Helmut Seidl
COOP 2026
Sun, April 12
6th International Workshop on Cooperative Software Verification
Organized by: Dirk Beyer and Heike Wehrheim
Organized by: Dirk Beyer and Heike Wehrheim
LTT 2026
Sun, April 12
Logics and Type Theory
Organized by: Franco Barbanera and Ugo de'Liguoro
Organized by: Franco Barbanera and Ugo de'Liguoro
MARS 2026
Sun, April 12
7th Workshop on Models for Formal Analysis of Real Systems
Organized by: Gregor Goessler and Maurice ter Beek
Organized by: Gregor Goessler and Maurice ter Beek
TLA+ 2026
SynCoP 2026
Sun, April 12
10th International Workshop on Synthesis of Complex Parameters
Organized by: Étienne André and Swen Jacobs
Organized by: Étienne André and Swen Jacobs
CMCS 2026
Sat, April 11
–
Sun, April 12
18th International Workshop on Coalgebraic Methods in Computer Science
Organized by: Henning Basold and Clemens Kupke
Organized by: Henning Basold and Clemens Kupke
WRLA 2026
Sat, April 11
–
Sun, April 12
The 16th International Workshop on Rewriting Logic and its Applications
Organized by: Camilo Rocha
Organized by: Camilo Rocha