Programme Colocated Events
Several events are colocated with ETAPS 2027. Below, please find a list of them. For more information, please follow the event website.
RUST 2027
Mon, April 12
–
Tue, April 13
7th Rust Verification Workshop
Organized by: Alex Summers
Organized by: Alex Summers
SPIN 2027
Wed, April 14
–
Thu, April 15
33rd International SPIN symposium on Model Checking of Software
Organized by: Anton Wijs, Carlos Budde, and Emily Yu
Organized by: Anton Wijs, Carlos Budde, and Emily Yu