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

Website

SPIN 2026

Wed, April 15 – Thu, April 16

32nd International SPIN symposium on Model Checking of Software
Organized by: Vincenzo Ciancia and Arnd Hartmanns

Website

ETAPS International Joint Conferences On Theory & Practice Of Software

ETAPS Association

Internal

Responsible for these web pages:

Jan Kofroň
Faculty of Mathematics and Physics
Charles University, Czech Republic
E-mail: firstname.lastname [at] d3s.mff.cuni.cz
Phone: +420 951 554 285