| LFMTP'06 | International Workshop on Logical Frameworks and Meta-Languages:Theory and Practice Seattle, August 16, 2006 |
Program
All sessions will take place in Suite 3228 unless otherwise indicated.
Wednesday, August 16th
Wednesday's program is also available with abstracts or side by side with other meetings.
09:00‑10:30 Session 1
| 09:00 | Alwen Tiu
A Logic for Reasoning about Generic Judgments |
| 09:30 | Ulrich Schoepp
Modelling Generic Judgements |
| 10:00 | Murdoch Gabbay
Hierarchical nominal rewriting |
10:30‑11:00 Break
11:00‑12:30 Session 2
| 11:00 | Stefan Berghofer
and Christian Urban
A Head-to-Head Comparison of de Bruijn Indices and Names |
| 11:30 | Brian Aydemir
, Aaron Bohannon
and Stephanie Weirich
Nominal Reasoning Techniques in Coq |
| 12:00 | Jason Hickey
, Aleksey Nogin
, Xin Yu and Alexei Kopylov Practical Reflection for Sequent Logics |
12:30‑14:00 Lunch break
14:00‑15:00 Invited Talk
| 14:00 | Gordon Plotkin (University of Edinburgh) An Algebraic Framework for Logics and Type Theories |
15:00‑15:30 Session 3
| 15:00 | Andrew Appel
and Xavier Leroy
A List-machine Benchmark for Mechanized Metatheory |
15:30‑16:00 Break
16:00‑17:30 Session 4
