FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
CL&C PROGRAM
Saturday, July 7th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 23A
09:00
Sheaf models of classical logic extended by independence relations (abstract)
10:00
Towards a Dualized Sequent Calculus with Canonicity (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 26A
11:00
Fast cut-elimination using proof terms: an empirical study (abstract)
11:45
Validating Back-links of FOL-ID Cyclic Pre-proofs (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 28A
14:00
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains (abstract)
14:45
Herbrand's Theorem as Higher-Order Recursion (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 31A
16:00
Admissible tools in the kitchen of intuitionistic logic (abstract)
16:30
The “duality of computation” from a fibrational perspective (abstract)
17:00
A Denotational Model of the Typed Lambda-Mu Calculus (abstract)
17:30
Some ideas on cut-elimination for cyclic arithmetic proofs (abstract)
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