Arbeitstagung Bern-München 2008
Deduktive Aspekte in Beweistheorie und Informatik
Termin
Donnerstag, den 18.12.2008, ganztags und Freitag, den 19.12.2008, vormittags
Ort
Mathematisches Institut der Universität München, Theresienstraße 39,
80333 München
Die Vorträge finden im Raum B 349 statt.
Die Kaffeepause sowie das Frühstück finden im
Raum B 448 statt.
Hotels
Hotel Antares, Amalienstraße 20
Hotel Max, Amalienstraße 12
Programm
Mittwoch
18:30 Abendessen im Restaurant Pasta & Basta, Theresienstraße 29
Donnerstag
09:15 - 10:00 Dieter Probst tba
10:15 - 11:00 Kai Brünnler Deep inference and categorical
combinators
11:15 - 12:00 Roman Kuznets
Justification Logic and Its Applications
12:15 - 14:00 Mittagspause
14:15 - 15:00 Kaffee
15:15 - 16:00 Trifon Trifonov Comparing methods
for extraction from non-constructive proofs
16:15 - 17:00 Daniel Bembé An Algebraic Certificate for Budan's Theorem
17:15 - 18:00 Peter Schuster Nullstellensätze und
Spatialität
19:00 Abendessen im Restaurant
Los Faroles, Nordendstraße 26
Freitag
09:15 - 10:00 Richard McKinley tba
10:15 - 11:00 Roger Traber tba
11:15 Frühstück
Josef Berger, zuletzt geändert am 16.12.2008