Preliminary Timetable

TimeFriday, April 4, Room B051Saturday, April 5, Room B138Sunday, 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 Martin-Löf Type Theory
1100
1115 Anton Setzer: The strength of Martin-Lö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 ordinal-free proof of cut-elimination theorem for $\Pi^1_1$-analysis with $\omega$-rule
1515
1530 Dieter Probst: $\Pi_3$-reflection in Kripke-Platek 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 Franz-Viktor Kuhlmann: What is the connection between resolution of singularities and decidability?
Coffee
1900
1915 Matthias Baaz: Cut-elimination 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