Abstracts: 14 April
Submission: 21 April
Notification: 19 May
Final papers due: 2 June
Workshop: 23 June

Call for Papers [pdf]

Invited Speaker
Dale Miller

Programme Committee
Andreas Abel
Peter Dybjer
Brigitte Pientka
Alberto Momigliano
Randy Pollack
Carsten Schürmann
Peter Sewell
Aaron Stump
Christian Urban

International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'08)

Affiliated with LICS-23 at Pittsburgh, Pennsylvania

LFMTP'08 continues the series of workshops on Logical Frameworks and Meta-Languages (LFM) and the workshops on Mechanized Reasoning about Languages with Variable Binding (MERλIN). The broad subject areas of LFMTP'08 are
  • logical framework design
  • meta-theoretic analysis
  • applications and comparative studies
  • implementation techniques
  • efficient proof representation and validation
  • proof-generating decision procedures and theorem provers
  • proof-carrying code
  • substructural frameworks
  • semantic foundations
  • methods for reasoning about logics
  • formal digital libraries
  • all aspects about variable binding
Submission: EasyChair (Authors please use the generic ENTCS macro package available elsewhere.)

Invited Speaker: Dale Miller

Accepted Papers:

  • Daniel Leivant. Inductive Completeness of Logics of Programs
  • David Baelde. On the Expressivity of Minimal Generic Quantification
  • Alwen Tiu. On the Role of Names in Reasoning about Lambda-Tree Syntax Specifications
  • James Chapman. Type Theory Should Eat Itself
  • Aaron Stump. Proof Checking Technology for Satisfiability Modulo Theories
  • Andrew Gacek, Dale Miller and Gopalan Nadathur. Reasoning in Abella about Structural Operational Semantics Specifications
  • James Cheney. Simple Nominal Type Theory
  • Karl Crary. Explicit Contexts in LF
  • Joshua Dunfield and Brigitte Pientka. Case analysis of higher-order data
  • Adam Poswolsky and Carsten Schuermann. System Description: Delphin -- A Functional Programming Language for Deductive Systems


  • 09:00 Miller (invited talk)
  • 10:00 Cheney
  • 10:30 coffee
  • 11:00 Leivant
  • 11:30 Stump
  • 12:00 Chapman
  • 12:30 lunch
  • 14:00 Crary
  • 14:30 Dunfield and Pientka
  • 15:00 Poswolsky and Schuermann
  • 15:20 coffee (and Delphin demo)
  • 16:00 Gacek et al
  • 16:30 Tiu
  • 17:00 Baelde

Organisers: Andreas Abel, Christian Urban

Last modified: Thu Jun 19 16:19:24 CEST 2008 [Validate this page.]