Collocated Events

Programme Collocated Events

Several events are collocated with ETAPS 2026. Below, please find a list of them. For more information, please follow the event website.

RUST 2026
Mon, April 13 – Tue, April 14
6th Rust Verification Workshop
Organized by: Rajeev Joshi and Alex Summers
SPIN 2026
Wed, April 15 – Thu, April 16
32nd International SPIN symposium on Model Checking of Software
Organized by: Vincenzo Ciancia and Arnd Hartmanns