All eventsWorkshopUNSOUND’26Workshop on Sources of Unsoundness in Type Systems and VerificationBrussels, Belgium·June 30, 2026TypesVerificationStar this eventAdd to calendarDates & DeadlinesOfficial pagePaperApr 14passedNotificationApr 19passedPart ofECOOPEuropean Conference on Object-Oriented ProgrammingJun 29 – Jul 3, 2026Last updated May 17, 2026