zur Startseite

 

Arbeitstagung Bern-München 2010

Deduktive Aspekte in Beweistheorie und Informatik


Organisatoren: Josef Berger und Dieter Probst

Termin

Donnerstag, den 16.12.2010, ganztags und Freitag, den 17.12.2009, 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.

Hotel

Hotel Antares, Amalienstraße 20

Programm

Mittwoch

19:00     Abendessen im Alten Simpl, Türkenstraße 57, 80799 München

Donnerstag

09:15 - 10:00     Dieter Probst     From models of second order arithmetic to models of set theory
10:15 - 11:00     Kai Brünnler     How to Universally Close the Existential-Rule
11:15 - 12:00     Jon Brugger     Proof-theoretic aspects of weak Königs Lemma
12:15 - 14:00     Mittagspause
14:15 - 15:00     Christoph Senjak     Minimal from classical proofs
15:15 - 16:00     Rico Zumbrunnen     Operational Set Theory
16:10 - 16:30     Kaffeepause
16:30 - 17:15     Peter Schuster     Induction in Algebra

19:15   Abendessen im Restaurant Atzinger, Schellingstr. 9, 80799 München

Freitag

9:15 - 9:45     Roman Kuznets     Analytic Proof Systems for Justification Logic: The Road Not to Be Taken
10:00 - 10:45     Yury Savateev     Lambek calculus and proofnets


11:00     Frühstück
Josef Berger, zuletzt geändert am 16.12.2010