All eventsSymposiumLSFA’26International Symposium on Logical and Semantic Frameworks with ApplicationsLisbon, Portugal·July 18 – 19, 2026LogicSemanticsStar this eventAdd to calendarDates & DeadlinesOfficial pageAbstractApr 20passedPaperApr 28passedNotificationMay 27passedPart ofFLoCFederated Logic ConferenceJul 17 – 29, 2026Co-located withFSCDFormal Structures for Computation and DeductionJul 20 – 23, 2026Last updated Jun 8, 2026