Logic List Mailing Archive

Tagung, Freiburg

Vorl"aufige Ank"undigung

Gemeinsames Jahrestreffen 2002 der GI-Fachgruppen
1.2.1 Deduktionssysteme
0.1.6 Logik in der Informatik
2. Oktober - 4. Oktober in Freiburg


Die j"ahrlichen Treffen der GI-Fachgruppen "Deduktionssysteme"
und "Logik in der Informatik" werden im Jahr 2002 gemeinsam
stattfinden und von David Basin (Institut f"ur Informatik der
Universit"at Freiburg) und Heinz-Dieter Ebbinghaus (Institut
f"ur mathematische Logik der Universit"at Freiburg) ausgerichtet.
Die gemeinsame Veranstaltung beginnt am Morgen des 2. Oktober
2002 und endet gegen Mittag am 4. Oktober 2002. Beitr"age, die
thematisch st"arker auf Deduktionssysteme ausgerichtet sind,
sollen am Beginn der Tagung stehen, Beitr"age spezifisch
logischer Pr"agung am Ende der Tagung. Teilnehmer/Teilnehmerinnen
mit beschr"ankter Zeit k"onnen also ihre Teilnahme auf zwei Tage
begrenzen, ohne auf wesentliche Teile ihrer Fachgruppenthematik
verzichten zu m"ussen. Wir hoffen, dass viele die M"oglichkeiten
wahrnehmen, welche die gemeinsame Tagung bietet, und durch
Vortr"age, Diskussionen und Gespr"ache zum Erfolg beitragen.

Als eingeladene Sprecher haben zugesagt:

Prof. Dr. Reiner Haehnle, Chalmers University, Schweden,
Prof. Dr. Wolfgang Thomas, RWTH Aachen.

Am 3.10.2002 ist ein gemeinsames Abendessen geplant.

Als Termine f"ur die Fachgruppensitzungen sind vorgesehen:
Der sp"ate Nachmittag des 2.10.2002 f"ur die Gruppe
"Deduktionssysteme" und der sp"ate Nachmittag des 3.10.2002 f"ur
die Gruppe "Logik in der Informatik".

Weitere Einzelheiten zum Programm, zu Anmeldeterminen, Anfahrt
und Unterkunft erscheinen im Fr"uhjahr 2002 in einem
ausf"uhrlichen "Call for Talks and Participation", Informationen
auf dem jeweils aktuellen Stand findet man ueber

http://wailoa.informatik.uni-freiburg.de/gi-tagung/

Joerg Flum,
Inst. fuer Mathemat. Logik
Eckerstr. 1
79104 Freiburg
Phone: +49-761-2035601
Fax: +49-761-2035608