Workshop

LFMTP

’25

Logical Frameworks and Meta Languages

Birmingham, UKJuly 19, 2025EPTCS

Logic
Types

Dates & Deadlines

AbstractMay 9passed
PaperMay 16passed
NotificationJun 6passed

Last updated May 17, 2026