Programme Satellite Events
Several satellite events are organized at the weekend May 3–4, 2025 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 Angelo Gargantini (Università degli Studi di Bergamo), and Alan Wassyng (McMaster University).
The call for satellite events is available here.
ASQAP 2025
Sun, May 4
International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins.
Organized by: Marsha Chechik and Arianna Fedeli and Gianluca Filippone and Federico Formica and Mirgita Frasheri and Nico Hochgeschwender and Lina Marsso
Organized by: Marsha Chechik and Arianna Fedeli and Gianluca Filippone and Federico Formica and Mirgita Frasheri and Nico Hochgeschwender and Lina Marsso
EMW 2025
FMBC 2025
Sun, May 4
6th International Workshop on Formal Methods for Blockchains.
Organized by: Diego Marmsoler and Meng Xu
Organized by: Diego Marmsoler and Meng Xu
LiVe 2025
PLACES 2025
Sun, May 4
Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software.
Organized by: Simon Gat and Luca Padovani and Vasco T. Vasconcelos and Jan Hoffman and Farzaneh Derakhshan
Organized by: Simon Gat and Luca Padovani and Vasco T. Vasconcelos and Jan Hoffman and Farzaneh Derakhshan
RRRR 2025
Sat, May 3
4rd Workshop on Reproducibility and Replication of Research Results.
Organized by: Arnd Hartmanns and Sean Kauffman
Organized by: Arnd Hartmanns and Sean Kauffman
RW 2025
Mon, May 5
–
Tue, May 6
5th Rust Verification Workshop.
Organized by: Joshi Rajeev and Klock Felix
Organized by: Joshi Rajeev and Klock Felix
SPIN 2025
Wed, May 7
–
Thu, May 8
International Symposium on Model Checking Software.
Organized by: Gidon Ernst and Kristin-Yvonne Rozier
Organized by: Gidon Ernst and Kristin-Yvonne Rozier
SV-COMP 2025
TADM 2025
Sat, May 3
International Workshop on Trusted Automated Decision-Making.
Organized by: Ramesh Bharadwaj and Ilya Parker
Organized by: Ramesh Bharadwaj and Ilya Parker
Test-Comp 2025
TLA
VerifyThis
Sat, May 3
–
Sun, May 4
Verification Competition 2025.
Organized by: Jenna DiVincenzo, Marieke Huisman, Rosemary Monahan, Peter Müller, Mattias Ulbrich and Thomas Wies
Organized by: Jenna DiVincenzo, Marieke Huisman, Rosemary Monahan, Peter Müller, Mattias Ulbrich and Thomas Wies
VSS 2025
Sun, May 4
International Workshop on Verification of Scientific Software
Organized by: Stephen F. Siegel and Ganesh Gopalakrishnan
Organized by: Stephen F. Siegel and Ganesh Gopalakrishnan