LFMTP PROGRAM
Saturday, July 7th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 23G: Type Theory and Proof Assistants
Chair:
Location: Maths LT2
| 09:00 | Invited talk: Cubical Computational Type Theory and RedPRL (abstract) |
| 10:00 | Sharing a library between proof assistants: reaching out to the HOL family (abstract)   |
10:30-11:00Coffee Break
11:00-12:40 Session 26H: Verification and Testing
Chair:
Location: Maths LT2
| 11:00 | Invited talk: Why and How Does K work? The Logical Infrastructure Behind It (abstract) |
| 12:00 | Computation-as-deduction in Abella: work in progress (abstract) |
| 12:20 | Property-Based Testing of Abstract Machines: an Experience Report (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 28G: Formalization
Chair:
Location: Maths LT2
| 14:00 | Formalization in Constructive Type Theory of the Standardization Theorem (abstract) |
| 14:30 | Formalisation of Barendregt's Variable Convention for Generic Structures with Binders (abstract) |
| 15:00 | What Does This Notation Mean Anyway? BNF-style notation as it is actually used (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 31H: Implementation
Chair:
Location: Maths LT2
| 16:00 | Invited talk: A fresh view of call-by-need (abstract) |
| 17:00 | Abstract Representation of Binders in OCaml using the Bindlib Library (abstract) |
| 17:30 | Functional programming with λ-tree syntax: a progress report (abstract) |
19:00-21:00 LFMTP Dinner
This is a dinner in a restaurant to be defined different from the FLOC dinner at Balliot College.
To register, please send a mail to lfmtp18@easychair.org before July 1st.
Location: Thaikhun Restaurant
19:45-22:00 Workshops dinner at Balliol College
Workshops dinner at Balliol College. Drinks reception from 7.45pm, to be seated by 8:15 (pre-booking via FLoC registration system required; guests welcome).
Location: Balliol College