LFM 2000

Workshop on Logical Frameworks and Meta-languages
Sunday, June 25, 2000
Santa Barbara, California

Part of the International Conference on Logic in Computer Science (LICS'2000).

Preliminary Program

 9:15 - 10:15 Invited Talk
              TinkerType: A Language for Playing with Formal Systems
              Benjamin C. Pierce

10:15 - 10:45 Coffee break

10:45 - 11:45 Session 1

              A Meta Logical Framework Based On Realizability
              Carsten Schuermann

              Properties of Terms in Continuation-Passing Style in 
              an Ordered Logical Framework
              Jeffrey Polakow and Frank Pfenning

12:00 - 1:30 Lunch

 2:00 - 3:00 Session 2

             PAL+: A Lambda-free Logical Framework
             Zhaohui Luo

             Modularity in Meta-languages
             Peter D. Mosses

 3:00 - 3:30 Tea time

 3:30 - 4:30 Session 3

             Termination of Rewriting in the Calculus of Constructions
             Daria Walukiewicz

             ELAN for Equational Reasoning in Coq
             Cuihltlauac Alvarado and Quang-Huy Nguyen

End of LFM