All eventsConferenceETAPS’27European Joint Conferences on Theory and Practice of SoftwareCopenhagen, Denmark·April 10 – 15, 2027Formal MethodsSoftware EngineeringStar this eventAdd to calendarIncludesESOPEuropean Symposium on ProgrammingApr 12 – 15, 2027FoSSaCSFoundations of Software Science and Computation StructuresApr 12 – 15, 2027Last updated May 17, 2026