Program of PAR

Thursday, July 15th

Thursday's program is also available with abstracts and side by side with other events.

09:00‑10:00 Session 1
Location: IF G.07
09:00 Alexander Krauss
Recursive Definitions of Monadic Functions
10:30‑12:30 Session 2
Location: IF G.07
10:30 Andreas Abel
Integrating Sized and Dependent Types
11:00 Thorsten Altenkirch and Nils Anders Danielsson
Termination Checking Nested Inductive and Coinductive Types
11:30 Nils Anders Danielsson
Beating the Productivity Checker Using Embedded Languages
12:00 Tarmo Uustalu
Antifounded coinduction in type theory
15:30‑17:30 Session 4
Location: IF G.07
15:30 Claudio Sacerdoti Coen and Silvio Valentini
General recursion and formal topology
16:00 Aaron Stump, Vilhelm Sjöberg and Stephanie Weirich
Termination Casts: A Flexible Approach to Termination with General Recursion
16:30 Issam Maamria and Michael Butler
Rewriting and Well-Definedness within a Proof System
17:00 Gavin Mendel-Gleason and Geoff Hamilton
Cyclic Proofs and Coinductive Principles