CL&C PROGRAM
Saturday, July 7th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 23A
Chair:
Location: Maths Seminar C2
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
Chair:
Location: Maths Seminar C2
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
Chair:
Location: Maths Seminar C2
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
Chair:
Location: Maths Seminar C2
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