Department Mathematik
print


Navigationspfad


Inhaltsbereich

ABM11 Arbeitstagung Bern-München 2011

December 15-16, 2011

Mathematisches Institut der Universität München
Theresienstraße 39, D-80333 München
Room B 349

Organizers: I. Petrakis, F. Ranzi


Photo

Accommodation

Hotel Antares
Amalienstraße 20
hotel@antares-muenchen.de
tel. (+49) (0)89 2800 200

Programme

Wednesday 14.12

19:00 Welcome dinner - Café Puck, Türkenstraße 33

Thursday 15.12

09:15-10:00 Wim Veldman - Analytic and co-analytic sets: some examples*
10:15-11:00 Roman Kuznets - Modal interpolation via nested sequents
11:15-12:00 Horst Osswald - Applications of Logic to Malliavin Calculus
12:15-14:00 Lunch break
14:15-15:00 Richard McKinley - Sequent calculi with abstraction
15:15-16:00 Andreas Fackler - Topological set theory
16:10-16:30 Coffee break - Room B 448
16:30-17:15 Sebastian Eberhard - A natural feasible theory of truth
17:30-18:15 Peter Schuster - A proof pattern in algebra
19:15 Dinner - Der Atzinger, Schellingstraße 9

Friday 16.12

09:15-10:00 Dieter Probst - The proof-theoretic strength of the type-2 functional E#1
10:15-11:00 Kenji Miyamoto - Program Extraction in Exact Real Arithmetic
11:15 Breakfast - Room B 448
* Participants are also invited to attend the department's Colloquium talk by Wim Veldman on Ramsey's Theorem, in Room A 027, at 16:15 (Friday). Tea is served in B 448 at 15:45.


Last modified: 12.12.2011