LFMTP 2012

7th International Workshop on

Logical Frameworks and Meta-languages:

Theory and Practice

Copenhagen, Denmark - September 9, 2012

A supposedly fun thing I may have to do again: A HOAS encoding of Howe's method. Alberto Momigliano.
LF in LF: Mechanizing the Metatheory of LF in Twelf. Chris Martens and Karl Crary.
LFP – A Logical Framework with External Predicates. Furio Honsell, Marina Lenisa, Liquori Luigi, Petar Maksimovic and Ivan Scagnetto.
Trace Matching in a Concurrent Logical Framework. Iliano Cervesato, Frank Pfenning, Jorge Luis Sacchini, Carsten Schürmann and Robert J. Simmons.