All eventsConferenceFoSSaCS’27Foundations of Software Science and Computation StructuresCopenhagen, Denmark·April 12 – 15, 2027SemanticsLogicStar this eventAdd to calendarDates & DeadlinesOfficial pagePaperOct 154moRebuttalDec 95moNotificationDec 226moCamera-readyJan 257moPart ofETAPSEuropean Joint Conferences on Theory and Practice of SoftwareApr 10 – 15, 2027Last updated May 17, 2026