FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

The size-change principle and circular proofs: checking totality of (co)recursive definitions

Pierre Hyvernat

Collapses of Fixpoint Alternation Hierarchies in Low Type-Levels of Higher-Order Fixpoint Logic

Florian Bruse, Martin Lange and Etienne Lozes

What makes guarded types tick?

Patrick Bahr, Bassel Mannaa and Rasmus Ejlers Møgelberg

Transitive Closure Logic: Infinitary and Cyclic Proof Systems

Reuben Rowe and Liron Cohen
Total: 4 presentations.