Program
Wednesday, October 24
12:30 - 14:15 Lunch
- 14:15 - 15:15 Sato — "Interpretation Sextet: Renovations of Proof Theoretic Reducibility"
15:15 - 15:45 Coffee Break
- 15:45 - 16:30 Schuster — "The Jacobson Ideal and Glivenko's Theorem"
- 16:30 - 17:15 Blechschmidt — "New reduction techniques in commutative algebra driven by logical methods"
- 17:15 - 18:00 Wiesnet — "Applications of the Functional Interpretation with States"
18:00 - 19:30 Dinner
Thursday, October 25
07:45 - 09:00 Breakfast
- 09:00 - 09:45 Colacito — "An Open Problem in the Theory of Ordered Groups"
09:45 - 10:30 Coffee Break
- 10:30 - 11:15 Jaun — "Category Theory in Explicit Mathematics"
- 11:15 - 12:00 Bärtschi — "Variants of ATR without set parameters"
12:00 - 13:30 Lunch