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

Website

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

Website

VerifyThis 2024

Sat, 6 April – Sun, 7 April
Room: Schengen II

Verification Competition 2024.
Organized by: Paula Herber and Alexander J. Summers

Website

WRLA 2024

Sat, 6 April – Sun, 7 April
Room: Diekirch

15th International Workshop on Rewriting Logic and its Applications.
Organized by: Kazuhiro Ogata

Website

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

Website

PLACES 2024

Sat, 6 April
Room: Holenfells

Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software.
Organized by: Raymond Hu and Diana Costa

Website

RRRR 2024

Sat, 6 April
Room: Vianden

3rd Workshop on Reproducibility and Replication of Research Results.
Organized by: Dirk Beyer and Arnd Hartmanns

Website

REMARO 2024

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

Website

LiVe 2024

Sat, 6 April
Room: Schengen I

8th Workshop on Learning in Verification.
Organized by: Jan Křetínský

Website

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

Website

EMW 2024

Sun, 7 April
Room: Wiltz

ETAPS Mentoring Workshop.
Organized by: Caterina Urban, Marc Frappier and Stephan Merz

Website

COOP 2024

Sun, 7 April
Room: Ansembourg

5th Workshop on Cooperative Software Verification.
Organized by: Dirk Beyer and Heike Wehrheim

Website

FMBC 2024

Sun, 7 April
Room: Holenfells

5th International Workshop on Formal Methods for Blockchains.
Organized by: Bruno Bernardo and Diego Marmsoler

Website

HCVS 2024

Sun, 7 April
Room: Vianden

11th Horn Clauses for Verification and Synthesis.
Organized by: Fabio Fioravanti

Website

TERMGRAPH 2024

Sun, 7 April
Room: Panorama room - Hilton Hotel Double Tree

13th International Workshop on Computing with Terms and Graphs.
Organized by: Ian Mackie

Website

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

Website

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

Website