LFMTP PROGRAM
Thursday, July 17th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:50-10:15 Session 63: Technical Session
Chair:
Location: FH, Zeichensaal 1
| 08:50 | Welcome Remarks (abstract) |
| 09:00 | Proof-Theoretic Foundations of Indexing in Logic Programming (abstract) |
| 09:25 | Hybrid Extensions in a Logical Framework (abstract) |
| 09:50 | Variable Arity for LF (abstract) |
10:15-10:45Coffee Break
10:45-11:35 Session 66AJ: Invited Talk
Chair:
Location: FH, Zeichensaal 1
| 10:45 | Session Types Meet Separation Logic (abstract) |
11:45-13:00 Session 70: Technical Session
Chair:
Location: FH, Zeichensaal 1
| 11:45 | Internal Adequacy of Bookkeeping in Coq (abstract) |
| 12:10 | A Generic Approach to Proofs about Substitution (abstract) |
| 12:35 | A Framework for Implementing Logical Frameworks (abstract) |
13:00-14:30Lunch Break
14:30-15:20 Session 75AJ: Invited Talk
Chair:
Location: FH, Zeichensaal 1
| 14:30 | A Framework for the Verified Transformation of Functional Programs (abstract) |
15:20-15:45 Session 77: Technical Session
Chair:
Location: FH, Zeichensaal 1
| 15:20 | Automatically Deriving Schematic Theorems for Dynamic Contexts (abstract) |
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
Chair:
Location: MB, Kuppelsaal
| 16:30 | Foundations and Technology Competitions Award Ceremony (abstract) |
| 17:30 | FLoC Olympic Games Award Ceremony 1 (abstract) |
| 18:15 | FLoC Closing Week 1 (abstract) |
16:30-17:20 Session 80D: Invited Talk
Chair:
Location: FH, Zeichensaal 1
| 16:30 | Idris: Implementing a Dependently Typed Programming Language (abstract) |
17:20-18:10 Session 82: Technical Session
Chair:
Location: FH, Zeichensaal 1
| 17:20 | Some constructions on ω-groupoids (abstract) |
| 17:45 | Gentle Formalisation of Stoughton’s Lambda Calculus Substitution (abstract) |
21:00-23:59 Session 89: VSL Student Reception 1
Location: Transporter