All eventsWorkshopWITS’26Workshop on the Implementation of Type SystemsRennes, France·January 17, 2026TypesCompilersStar this eventAdd to calendarDates & DeadlinesOfficial pageAbstractNov 6passedNotificationDec 1passedPart ofPOPLACM SIGPLAN Symposium on Principles of Programming LanguagesJan 11 – 17, 2026Last updated May 17, 2026