Logic List Mailing Archive

COLLOQUIUM LOGICUM 2004 at Heidelberg

Einladung! Dringend! Einladung! Dringend! Einladung!


Sie sind herzlich eingeladen an der DVMLG-Konferenz

=09COLLOQUIUM LOGICUM 2004
=0917.-19. September 2004
=09Heidelberg

teilzunehmen. Die Tagung findet im direkten Anschluss an die in
Heidelberg abgehaltene Jahrestagung der Deutschen Mathematiker
Vereinigung (12. bis 17. September 2004) statt.

Aktuelle Informationen zum COLLOQUIUM LOGICUM 2004 finden Sie unter

http://math.uni-heidelberg.de/logic/CL_2004/index.html

Dort koennen Sie sich auch fuer die Tagung anmelden.

Das COLLOQUIUM LOGICUM 2004 beginnt am Freitag, den 17. September
2004, um 14 Uhr mit einer gemeinsamen Sitzung mit der von den
Kollegen Schoening (Ulm) und Schwichtenberg (Muenchen) organisierten
Sektion fuer Mathematische Logik und Theoretische Informatik der
DMV-Tagung. Diese Sitzung wird in den Gebaeuden der Alten
Universitaet in der Altstadt von Heidelberg abgehalten. Die Vortraege
am  18. und 19. September  finden im Mathematischen Institut im
Neuenheimer Feld statt. Das COLLOQUIUM LOGICUM 2004 wird am fruehen
Nachmitteg des  19. Septembers enden. Die Mitgliederversammlung der
DVMLG ist am Abend des 18. Septembers geplant.

Dem Programmkommittee gehoeren Klaus Ambos-Spies (Heidelberg), Peter
Koepke (Bonn), Martin Otto (Darmstadt), Volker Peckhaus (Paderborn),
Helmut Schwichtenberg (Muenchen) und Martin Ziegler (Freiburg) an.

Als Hauptvortragende haben bislang zugesagt: S. Barry Cooper (Leeds),
Ulrich Kohlenbach (Darmstadt), Javier Legris (Buenos Aires),  Janos
A. Makowsky (Haifa), Amador Martin-Pizarro (Berlin), Ralf Schindler
(Muenster), Andreas Weiermann (Utrecht).

Kurzbeitraege koennen noch - vorzugsweise elektronisch - unter Angabe
des Titels und eines kurzen Abstracts bei der unten angegebenen
Kontaktadresse eingereicht werden. Zur abschliessenden Planung des
Programms sollten die Anmeldungen der Beitraege moeglichst bis zum
18. August 2004 eingehen.

Wie bei dem vorhergehenden COLLOQUIUM LOGICUM 2002 in Muenster soll
im Rahmen der Tagung wieder ein "PhD Colloquium" durchgefuehrt
werden. Im PhD Colloquium sollen sich die besten Doktoranden und
jungen Postdoktoranden den deutschen Logikern vorstellen, indem sie
einen allgemeinverstaendlichen Vortrag ueber ihre Forschung halten.
Das Programmkommittee des CL 2004 wird bis zu drei
Nachwuchswissenschaftler fuer das PhD Colloquium auswaehlen, die ein
Reisestipendium fuer die Reise nach Heidelberg erhalten werden.
Hierfuer bitten wir die Mitglieder der DVMLG um Vorschlaege.  Falls
an Ihrem Institut ein Nachwuchswissenschaftler arbeitet, der
innerhalb des naechsten Jahres  seine Promotion abschliessen wird
oder innerhalb des letzten Jahres seine Promotion abgeschlossen hat,
und den Sie fuer einen der drei PhD-Colloquiums-Vortraege vorschlagen
moechten, so senden Sie bitte die folgenden Daten per e-mail an Klaus
Ambos-Spies (ambos@math.uni-heidelberg.de): (a) Name des oder der
Vorgeschlagenen, (b) Kurzlebenslauf (Daten zu Studium und Promotion),
(c) Publikationsliste, (d) Kurze Begruendung des Vorschlags.
Einsendeschluss ist der 15. August 2004.

?ber eine rege Beteiligung am COLLOQUIUM LOGICUM 2004 wuerden wir uns
sehr freuen.

Mit herzlichen Gruessen im Namen des gesamten Programmkommittees,

Klaus Ambos-Spies


Kontaktadresse:

COLLOQUIUM LOGICUM 2004
Lehrstuhl fuer Mathematische Logik und Theoretische Informatik
Institut fuer Informatik
Im Neuenheimer Feld 294
D-69120 Heidelberg
TEL: +49 6221 - 54 8204
FAX: +49 6221 - 54 4465
EMAIL: logic@math.uni-heidelberg.de