MONDAY  TUESDAY  WEDNESDAY  THURSDAY  FRIDAY  

9:0010:00  Neil Ghani Basic Category Theory 
Neil Ghani Basic Category Theory 
Neil Ghani Basic Category Theory 
Neil Ghani Basic Category Theory 
Neil Ghani Basic Category Theory 
10:0011:00  Harold Simmons Lambda Calculi and Arithmetic 
Harold Simmons Lambda Calculi and Arithmetic 
Harold Simmons Lambda Calculi and Arithmetic 
Harold Simmons Lambda Calculi and Arithmetic 
Harold Simmons Lambda Calculi and Arithmetic 
11:0011:30  break  break  break  break  break 
11:3012:30  Achim Jung Domain Theory 
Achim Jung Domain Theory 
Achim Jung Domain Theory 
Achim Jung Domain Theory 
Achim Jung Domain Theory 
12:3014:00  lunch  lunch  lunch  lunch  lunch 
14:0015:00  Martin Escardo Semantics of exact realnumber computation Thorsten Altenkirch Intuitionistic Logic 
Martin Escardo Semantics of exact realnumber computation Thorsten Altenkirch Intuitionistic Logic 
Paul Levy Semantics of Effects Eike Ritter Type Theory 
Roy Crole Presheaf Models of Variable Binding Natasha Alechina Modal Logic 
Roy Crole Presheaf Models of Variable Binding Natasha Alechina Modal Logic 
15:0016:00  Martin Escardo Semantics of exact realnumber computation Thorsten Altenkirch Intuitionistic Logic 
Paul Levy Semantics of Effects Eike Ritter Type Theory 
Paul Levy Semantics of Effects Eike Ritter Type Theory 
Roy Crole Presheaf Models of Variable Binding Natasha Alechina Modal Logic 
Roy Crole Presheaf Models of Variable Binding Natasha Alechina Modal Logic 
16:0017:00  break and exercise session for all courses 
break and exercise session for all courses 
break and exercise session for all courses 
break and exercise session for all courses 
break and exercise session for all courses 
17:0018:00  Paul Levy Semantics of Effects Eike Ritter Type Theory 
Martin Escardo Semantics of exact realnumber computation Thorsten Altenkirch Intuitionistic Logic 
Alexander Kurz Coalgebras (two hours) 
Alexander Kurz Coalgebras (two hours) 

18:0019:00 