Time  Friday, April 4, Room B051  Saturday, April 5, Room B138  Sunday, April 6, Room B349 
0900 



0915 
0930 
Coffee

Breakfast
Following a
tradition,
a Bavarian
Weißwurstfrühstück
will be serverd in the institute for those who wish. Other breakfast will be
available as well. The breakfast will finish well in time to get trains at noon.

0945 
1000 
Opening

1015 
Herman Ruge Jervell: Finite trees as ordinals

1030 
1045 
Andreas Abel: Normalization by Evaluation for MartinLöf Type Theory

1100 
1115 
Anton Setzer: The strength of MartinLöf Type Theory with the logical framework


1130 
1145 
Coffee

1200 
1215 
Michael Rathjen: $\Pi^0_2$ Conservation in Proof Theory

1230 
1245 
1300 
Lunch Break

1315 
1330 
1345 
1400 
1415 
Coffee

1430 
1445 
1500 
Ryota Akiyoshi: An ordinalfree proof of cutelimination theorem for $\Pi^1_1$analysis with $\omega$rule

1515 
1530 
Dieter Probst: $\Pi_3$reflection in KripkePlatek set theory and nonmonotone inductive definitions from the class $[\Pi^0_1, \ldots, \Pi^0_1]$.

1545 
Coffee

1600 
Coffee

1615 
Stan Wainer: Tree Ordinals and Proof Theoretic Bounding Functions

1630 
Daria Spescha: Elementary explicit types and polynomial time operations

1645 
1700 
Coffee

Luca Alberucci: The modal $\mu$Calculus Hierarchy over restricted Classes of
Transition Systems

1715 
1730 
Wolfram Pohlers: Ordinal Notations and Controlling Operators

Coffee

1745 
1800 
Gerhard Jäger: Towards a Proper Proof Theory of the Modal $\mu$Calculus

1815 
Reception

1830 
1845 
FranzViktor Kuhlmann: What is the connection between resolution of singularities and decidability?

Coffee

1900 
1915 
Matthias Baaz: Cutelimination by resolution and interpolation

Arnold Beckmann: Proof Notations for Bounded Arithmetic

1930 
1945 
Informal discussions with more coffee; the welcome dinner is next door to the institute.

Coffee

2000 
2015 

2030 
Welcome Dinner
à la carte at "Taverna Olympos"

Conference Dinner
à la carte at "Weißes Bräuhaus"

2045 
2100 
2115 
2130 
2145 