FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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)
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
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
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
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
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
15:30-16:00Coffee Break
16:00-17:30 Session 42M: Contributed talks
Location: Maths L4
16:00
Transitive Closure Logic: Infinitary and Cyclic Proof Systems (abstract)
16:45
On the Logical Complexity of Cyclic Arithmetic (abstract)