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 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 |