Ludwig-Maximilians-Universität München Mathematisches Institut
Impressum Datenschutz
Constructive convex analysis Josef Berger                 Gregor Svindland

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.  pdf
10:45-11:30 Vasco Brattka The computational content of the Hahn-Banach Theorem: some known results, some open questions  pdf
11:45-12:30 Hajime Ishihara Coequalisers in the category of basic pairs  pdf
14:00-14:45 Takako Nemoto Baire category theorem and nowhere differentiable continuous functions  pdf
15:00-15:45 Paulo Oliva On the computational interpretation of weak König’s lemma  pdf
16:15-17:00 Peter M. Schuster On an Intermediate Lindenbaum Lemma (joint work with Daniel Wessel)
17:15-18:00 Helmut Schwichtenberg The fan theorem for uniformly coconvex bars  pdf

dinner

18:30   Tafel & Schwafel, Augustenstr. 80

abstracts



jb        14   february   2018