| Thursday, 22nd January |
| |
|
| 14h00 |
Registration |
| 14h20 |
Welcome |
| 14h30 |
Course 1: Simply typed  -calculus |
| 15h30 |
Course 2: Extensions of Curry/Howard |
| 16h20 |
Coffee break |
| 16h50 |
Course 3: Implicit complexity |
| 17h50 |
3 contributed talks |
| 19h00 |
End of the session |
| |
|
| |
|
| Friday, 23rd January |
| |
|
| 9h00 |
Course 2: Extensions of Curry/Howard |
| 10h00 |
Course 4: Buchholz's Omega rule |
| 10h50 |
Coffee break |
| 11h20 |
Course 1: Simply typed -calculus |
| 12h10 |
Lunch |
| 14h00 |
Course 3: Implicit complexity |
| 15h00 |
Course 2: Extensions of Curry/Howard |
| 15h50 |
Coffee break |
| 16h20 |
Course 4: Buchholz's Omega rule |
| 17h20 |
3 contributed talks |
| 18h30 |
End of the session |
| 19h30 |
Meeting's dinner |
| |
|
| |
|
| Saturday, 24th January |
| |
|
| 9h00 |
Course 4: Buchholz's Omega rule |
| 10h00 |
Course 1: Simply typed -calculus |
| 10h50 |
Coffee break |
| 11h20 |
4 contributed talks |
| 12h55 |
Lunch |
| 14h30 |
Course 3: Implicit complexity |
| 15h30 |
Course 2: Extensions of Curry/Howard |
| 16h20 |
Coffee break |
| 16h50 |
Course 4: Buchholz's Omega rule |
| 17h40 |
End of the meeting |