Freitag, den 29. Juni 2007
14.15 Uhr	Begrüßung
14.30 Uhr	Professor Gerald E. Sacks Harvard University, Cambridge Gert Müller, forty years, intransitive model theory
15.30 Uhr	Pause
16.15 Uhr	Professor Michael M. Richter Universität Kaiserslautern Die Suche nach mathematischem Wissen und das Werk von Gert H. Müller
17.15 Uhr	Professor Petr Hájek Tschechische Akademie der Wissenschaften, Prag Logic and Gert Müller s Challenge of Our Time - personal comments
Ab 19.00 Uhr	Gemeinsames Abendessen im Restaurant Mamma Leone, Berliner Straße 40
Samstag, den 30. Juni 2007
9.15 Uhr	Professor Manuel Lerman University of Connecticut, Storrs Gert Müller, Perspectives, Degrees of Unsolvability: 30 years
10.00 Uhr	Professor Helmut Schwichtenberg Universität München Zum rechnerischen Gehalt von Beweisen
10.45 Uhr	Pause
11.30 Uhr	Professor Dirk Siefkes Technische Universität Berlin Theoretische Informatik und Theorie der Informatik: Was kann eine allgemeine Theorie der Informatik bringen?
12.15 Uhr	Dr. Jan Reimann Universität Heidelberg The metamathematics of randomness

Die Vorträge finden im Hörsaal 2 des Mathematischen Instituts
der Universität Heidelberg, Im Neuenheimer Feld 288 statt.

ANMELDUNG

Sie erleichtern uns die Planung, wenn Sie sich für das Kolloqium möglichst bis zum 17. Juni 2007 anmelden.
Bitte senden oder faxen Sie uns das Anmeldeformular (doc, pdf) oder melden Sie sich formlos
an via E-Mail bei logic@math.uni-heidelberg.de.

INFORMATIONEN

TAGUNGSORT. Das Mathematische Institut liegt auf dem Campus der Universität
im Neuenheimer Feld (Lageplan). Das Neuenheimer Feld ist vom Hauptbahnhof mit der
Straßenbahn Linie 24 (Richtung Neuenheim, Haltestelle Bunsengymnasium) erreichbar
(Fahrplanauskunft http://www.vrn.de).

UNTERKUNFT. Ihre Unterkunft in Heidelberg können Sie online
über die Heidelberger Kongress und Tourismus GmbH buchen.
Dort finden Sie auch weitere touristische Informationen und einen Stadtplan.

Bei Fragen wenden Sie sich bitte an die Organisatoren.

ORGANISATION

Prof. Dr. Klaus Ambos-Spies
Felicitas Hirsch (Sekretariat)

Lehrstuhl für Mathematische Logik und Theoretische Informatik
Institut für Informatik der Universität Heidelberg
Im Neuenheimer Feld 294
D-69120 Heidelberg

Telefon:
(06221) 54-8204 (Hirsch; Mo-Do vormittags)
(06221) 54-8203 (Ambos-Spies)
Telefax: (06221) 54-4465
E-Mail: logic@math.uni-heidelberg.de

SPONSOREN

Wir danken der Deutschen Vereinigung für Mathematische Logik und für Grundlagen
der Exakten Wissenschaften (DVMLG) für ihre Unterstützung.

Seitenbearbeiter: Kontakt-Email
Letzte Änderung: 24.05.2007