Satellite Events

Programme Satellite Events

Satellite events will take place during the weekend of April 11–12, 2026, ahead of the main conferences. They will be held at ITS Torino, Via Jacopo Durandi 10, Turin: a campus where students can put their knowledge into practice through labs and group projects.

Both days will follow the schedule below:

  • 8:45 AM – Opening
  • 9:00 AM – Start
  • 10:00–10:30 AM – Coffee break
  • 12:30–2:00 PM – Lunch
  • 4:00–4:30 PM – Coffee break
  • Around 6:00 PM – Closing
  • From 7:30 PM – Workshop Dinners

To access the SAT events and their respective workshop dinners, registration through the dedicated platform is required.

In case of any general questions regarding satellite events, please contact the workshop chairs:

ConVeY 2026
Sat, April 11
International Workshop on Continuous Verification of Cyber-Physical Systems
Organized by: Dirk Beyer, Stefan Winter, and Maximilian Perschl
EMW 2026
Sat, April 11
ETAPS Mentoring Workshop
Organized by: Elvinia Maria Riccobene and Stefan Hallerstade
FMBC 2026
Sat, April 11
7th International Workshop on Formal Methods for Blockchains
Organized by: Diego Marmsoler and MassimoBartoletti
MISSION 2026
Sat, April 11
Models in Space Systems: Integration, Operation, and Networking
Organized by: Arnd Hartmanns, Thomas Noll, Pedro R. D'Argenio, and Juan A. Fraire
PLACES 2026
Sat, April 11
Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Organized by: Lorenzo Gheri and Kirstin Peters
AnalyzeThat 2026
Sun, April 12
AnalyzeThat
Organized by: Raphaël Monat, Helmut Seidl, and Vesal Vojdani
COOP 2026
Sun, April 12
6th International Workshop on Cooperative Software Verification
Organized by: Dirk Beyer and Heike Wehrheim
LiVe 2026
Sun, April 12
10th Workshop on Learning in Verification
Organized by: Jan Kretinsky
LTT 2026
Sun, April 12
Logics and Type Theory (colloquium in honor of Stefano Berardi on the occasion of his 1000000th birthday)
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
TLA+ 2026
Sun, April 12
TLA+ Community Event
Organized by: Stephan Merz and Igor Konnov
SynCoP 2026
Sun, April 12
11th International Workshop on Synthesis of Complex Parameters
Organized by: Rémi Parrot and B Srivathsan
CMCS 2026
Sat, April 11 – Sun, April 12
18th International Workshop on Coalgebraic Methods in Computer Science
Organized by: Henning Basold and Clemens Kupke
VerifyThis 2026
Sat, April 11 – Sun, April 12
VerifyThis Competition
Organized by: Sacha-Elie Ayoun, Thibault Dardinier, Marieke Huisman, Rosemary Monahan, Peter Müller, and Mattias Ulbrich
WRLA 2026
Sat, April 11 – Sun, April 12
The 16th International Workshop on Rewriting Logic and its Applications
Organized by: Camilo Rocha