third CORE meeting

26 January 2018     Department of Mathematics, Theresienstraße 39, second floor, room B251

programme

9:44 opening
9:45-10:30 Klaus Mainzer Constructive Operations Research. Bridging Logic, Mathematics, Computer Science and Philosophy.
10:45-11:30 Vasco Brattka The computational content of the Hahn-Banach Theorem: some known results, some open questions
11:45-12:30 Hajime Ishihara Coequalisers in the category of basic pairs
14:00-14:45 Takako Nemoto Baire category theorem and nowhere differentiable continuous functions
15:00-15:45 Paulo Oliva On the computational interpretation of weak König’s lemma
16:15-17:00 Peter M. Schuster Extension by Conservation
17:15-18:00 Helmut Schwichtenberg title

dinner

18:30   Tafel & Schwafel, Augustenstr. 80

abstracts



jb        11   january   2018