PARIS PROGRAM
Days: Saturday, July 7th Sunday, July 8th
Saturday, July 7th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 23K: Invited tutorial (first part)
Chair:
Location: Maths L4
| 09:00 | Workshop introduction (abstract) |
| 09:15 | An Introduction to Cyclic Proofs (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 26L: Contributed talks
Chair:
Location: Maths L4
| 11:00 | Local Validity for Circular Proofs in Linear Logic with Fixed Points (abstract) |
| 11:45 | Collapses of Fixpoint Alternation Hierarchies in Low Type-Levels of Higher-Order Fixpoint Logic (abstract)  |
12:30-14:00Lunch Break
14:00-15:30 Session 28J: Contributed talks
Chair:
Location: Maths L4
| 14:00 | Useless Explicit Induction Reasoning (abstract) |
| 14:45 | Towards the Automatic Construction of Schematic Proofs (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 31L: Invited talk + contributed talk
Chair:
Location: Maths L4
| 16:00 | The size-change principle and circular proofs: checking totality of (co)recursive definitions (abstract) |
| 17:15 | What makes guarded types tick? (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
Sunday, July 8th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:30-11:00Coffee Break
11:00-12:30 Session 38M: Contributed talks
Chair:
Location: Maths L4
| 11:00 | LMSO: A Curry-Howard Approach to Church’s Synthesis via Linear Logic (speaker: Pierre PRADIC) (abstract) |
| 11:45 | Coinductive Uniform Proofs: An Extended Abstract (speaker: Yue LI) (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 40N: Invited tutorial (second part)
Chair:
Location: Maths L4
| 14:00 | An Introduction to Cyclic Proofs (abstract) |
15:30-16:00Coffee Break
16:00-17:30 Session 42M: Contributed talks
Chair:
Location: Maths L4
| 16:00 | Transitive Closure Logic: Infinitary and Cyclic Proof Systems (abstract)  |
| 16:45 | On the Logical Complexity of Cyclic Arithmetic (abstract) |