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 |