Lisbon, PortugalJuly 20 – 23, 2026
- Logic
- Types
Dates & Deadlines
Official page- AbstractJan 23passed
- PaperJan 30passed
- RebuttalMar 27passed
- NotificationApr 16passed
- Camera-readyApr 30passed
Part of
Includes
Co-located with
- ITRSWorkshop on Intersection Types and Related SystemsJul 18, 2026
- LSFAInternational Symposium on Logical and Semantic Frameworks with ApplicationsJul 18 – 19, 2026
- IWCInternational Workshop on ConfluenceJul 24, 2026
- LFMTPInternational Workshop on Logical Frameworks and Meta-Languages: Theory and PracticeJul 24, 2026
- UNIF40th International Workshop on UnificationJul 24, 2026
Last updated May 17, 2026