Dates
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
Programme:
- 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
|