Satellite Events

Programme Satellite Events

Several satellite events are organized at the weekend 6–7 April before the main conferences. Please refer to the list of them below.

In case of any general questions regarding satellite events, please contact the workshop chairs Maxime Cordy (SnT, University of Luxembourg), and Renzo Degiovanni (SnT, University of Luxembourg)

The call for satellite events is available here.

CMCS 2024
Sat, 6 April – Sun, 7 April
Room: Europe
17th International Workshop on Coalgebraic Methods in Computer Science.
Organized by: Barbara Koenig and Henning Urbat
SynCoP 2024
Sat, 6 April – Sun, 7 April
Room: Fischbach
9th International Workshop on Synthesis of Complex Parameters.
Organized by: Guillaume Cantin and Jaime Arias
VerifyThis 2024
Sat, 6 April – Sun, 7 April
Room: Schengen II
Verification Competition 2024.
Organized by: Paula Herber and Alexander J. Summers
WRLA 2024
Sat, 6 April – Sun, 7 April
Room: Diekirch
15th International Workshop on Rewriting Logic and its Applications.
Organized by: Kazuhiro Ogata
MARS 2024
Sat, 6 April
Room: Wiltz
6th Workshop on Models for Formal Analysis of Real Systems.
Organized by: Frédéric Lang and Matthias Volk
Sat, 6 April
Room: Holenfells
Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software.
Organized by: Raymond Hu and Diana Costa
RRRR 2024
Sat, 6 April
Room: Vianden
3rd Workshop on Reproducibility and Replication of Research Results.
Organized by: Dirk Beyer and Arnd Hartmanns
Sat, 6 April
Room: Echternach
International Workshop on Reliability Engineering Methods for Autonomous Robots.
Organized by: Andrzej Wasowski, Silvia Lizeth Tapia Tarifa, Mahsa Varshosaz, Manuel Mazo Espinosa, Einar Broch Johnsen
LiVe 2024
Sat, 6 April
Room: Schengen I
8th Workshop on Learning in Verification.
Organized by: Jan Křetínský
ConVeY 2024-1
Sat, 6 April
Room: Ansembourg
Retreat of the Graduate Research Group ConVeY.
Organized by: Marek Jankola, Thomas Lemberger, and Maximilian Schäffeler
EMW 2024
Sun, 7 April
Room: Wiltz
ETAPS Mentoring Workshop.
Organized by: Caterina Urban, Marc Frappier and Stephan Merz
COOP 2024
Sun, 7 April
Room: Ansembourg
5th Workshop on Cooperative Software Verification.
Organized by: Dirk Beyer and Heike Wehrheim
FMBC 2024
Sun, 7 April
Room: Holenfells
5th International Workshop on Formal Methods for Blockchains.
Organized by: Bruno Bernardo and Diego Marmsoler
HCVS 2024
Sun, 7 April
Room: Vianden
11th Horn Clauses for Verification and Synthesis.
Organized by: Fabio Fioravanti
Sun, 7 April
Room: Panorama room - Hilton Hotel Double Tree
13th International Workshop on Computing with Terms and Graphs.
Organized by: Ian Mackie
Javier Esparza Festschrift
Sun, 7 April
Room: Schengen I
Workshop Dedicated to Javier Esparza for His 60th Birthday. Taming the Infinities of Concurrency (LNCS 14660)
Organized by: Jan Kretinsky, Stefan Kiefer and Tony Kucera
RW 2024
Mon, 8 April – Tue, 9 April
Room: Schengen I
4th Rust Verification Workshop.
Organized by: Rajeev Joshi, Nicholas Matsakis and Peter Müller