All eventsWorkshopRW’26Rust Verification WorkshopTurin, Italy·April 13 – 14, 2026VerificationStar this eventAdd to calendarDates & DeadlinesOfficial pagePaperFeb 13passedNotificationFeb 20passedPart ofETAPSEuropean Joint Conferences on Theory and Practice of SoftwareApr 11 – 16, 2026Last updated May 17, 2026