All eventsConferenceETAPS’26European Joint Conferences on Theory and Practice of SoftwareTurin, Italy·April 11 – 16, 2026Formal MethodsVerificationStar this eventAdd to calendarIncludesESOPEuropean Symposium on ProgrammingApr 11 – 16, 2026WRLAInternational Workshop on Rewriting Logic and its ApplicationsApr 11 – 12, 2026FoSSaCSFoundations of Software Science and Computation StructuresApr 13 – 16, 2026RWRust Verification WorkshopApr 13 – 14, 2026Last updated May 17, 2026