FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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
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
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
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
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.

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