Program
Thursday, April 26
- 09.30 - 10.30 Schwichtenberg — "The fan theorem for uniformly coconvex bars"
10.30 - 11.00 Coffee Break
- 11.00 - 12.00 Sato — "Hierarchy of Formula-classes in the Intuitionistic Second Order Setting"
12.00 - 14.00 Lunch
- 14.00 - 15.00 Köpp — "On representations of real numbers and how to (ab)use them"
- 15.00 - 16.00 Bärtschi — "Uniform fixpoints and relatives in second order arithmetic"
16.00 - 16.30 Coffee Break
- 16.30 - 17.30 Wiesnet — "Limits in the Signed Digit Representation of Reals"
18.45 Dinner
Friday, April 27
- 09.15 - 10.15 Petrakis — "Interactions between a universe of types and its successor universe"
10.15 - 10.45 Coffee Break
- 10.45 - 11.45 Rosebrock — "Recursion Theory in Applicative Theories"
12.00 Lunch