$Universität Bonn$

Colloquium Logicum 2006

Bonn, 22.-24. September 2006

Tagung der Deutschen Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (DVMLG)

Das Colloquium Logicum 2006 (CL2006) findet im Anschluss an die Jahrestagung 2006 der Deutschen Mathematiker Vereinigung (DMV) in Bonn statt. Das Colloquium Logicum beginnt am Freitag, dem 22. September um 14:15 Uhr und endet am Sonntag, dem 24. September um 16:00 Uhr.

Das wissenschaftliche Programm besteht aus

einem Gödel-Vortrag und sechs weiteren Hauptvorträgen zu mathematischer Logik, Komplexitätstheorie, Geschichte der Logik und Philosophie der Mathematik
vier Plenarvorträgen, in denen hervorragende Dissertationen vorgestellt werden
zwei (zweiten Hälften von) Minisymposien, die gemeinsam mit der DMV durchgeführt werden: "The use of proof theory in mathematics", organisiert von P. Schuster (München) und "Set theory", organisiert von E. Schimmerling (Pittsburgh) und R. Schindler (Münster)
und sieben eingereichten Vorträgen aus der Logik und verwandten Gebieten.

Die Mitgliederversammlung der DVMLG findet während des Colloquium Logicums am Samstagabend statt.

Die DVMLG dankt: dem Mathematischen Institut der Universität Bonn für die Bereitstellung von Räumen und Geräten, der Deutschen Forschungsgemeinschaft (GZ: 4853/58/06) für eine Zuwendung zur Finanzierung eingeladener Sprecher und der DMV-Tagung mit ihrem Vorsitzenden Prof. Ballmann für die Möglichkeit, einige Strukturen der Jahrestagung mitbenutzen zu können.

Detaillierte Informationen zum Colloquium Logicum 2006 finden sich im Programmheft und auf dieser Webseite.

Die Adressen des Colloquium Logicums sind
dvmlg@math.uni-bonn.de
sowie
CL2006
z.Hd. Prof. Dr. Peter Koepke
Universität Bonn
Beringstraße 1
D 53115 Bonn
Tel. 0228 73 2947

Last changed September 19th 2006