Workshop

LFMTP

’26

International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Lisbon, PortugalJuly 24, 2026

Logic
Proof Assistants

Dates & Deadlines

AbstractApr 21passed
PaperMay 1passed
NotificationMay 27passed
Camera-readyJun 17passed

Part of

FLoCFederated Logic ConferenceJul 17 – 29, 2026

Co-located with

FSCDFormal Structures for Computation and DeductionJul 20 – 23, 2026

Last updated Jun 23, 2026