9:30 - 10:30 Session 1
 9:30 - 10:30 Invited speaker: Andreas Abel: Type-Based Termination, Inflationary Fixed-Points,
              and Mixed Inductive-Coinductive Types

10:30 - 11:00 Coffee break

11:00 - 12:30 Session 2
11:00 - 11:30 G. Mints, T. Studer: Cut-elimination for the mu-calculus with one variable
11:30 - 12:00 T. Uustalu: Structured general corecursion and coinductive graphs
12:00 - 12:30 A. Ingolfsdottir, L. Aceto: Characteristic formulae for relations with nested fixed points

12:30 - 14:00 Lunch

14:00 - 15:30 Session 3
14:00 - 15:00 Invited speaker: Luke Ong: Higher-Order Model Checking
15:00 - 15:30 M. Lange, E. Lozes: Model-Checking the Higher-Dimensional Modal mu-Calculus

15:30 - 16:00 Coffee break

16:00 - 17:00 Session 4
16:00 - 16:30 A. Haddad: IO vs OI in higher-order recursion schemes
16:30 - 17:00 A. Hirschowitz, M. Maggesi: Initial Semantics for Strengthened Signatures