All eventsSymposiumLICS’26Logic in Computer ScienceLisbon, Portugal·July 20 – 23, 2026LogicStar this eventAdd to calendarDates & DeadlinesOfficial pageAbstractJan 15passedPaperJan 22passedRebuttalMar 29passedNotificationApr 16passedPart ofFLoCFederated Logic ConferenceJul 17 – 29, 2026Co-located withDIALOCOWorkshop on Diagrams in Logic and ComputationJul 19, 2026Last updated May 17, 2026