[loginf] GI-Fachgruppen Treffen

DEDLOG-Tagung dedlog at informatik.uni-freiburg.de
Fri Sep 13 19:13:37 CEST 2002


------------------------------------------------------------------

                     Aufruf zur Teilnahme


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" finden in diesem Jahr gemeinsam statt und
werden von David Basin (Institut f"ur Informatik der Universit"at
Freiburg) und Heinz-Dieter Ebbinghaus (Institut f"ur mathematische
Logik der Universit"at Freiburg) organisiert. Sie beginnen am Morgen
des 2.  Oktober 2002 und enden gegen Mittag am 4. Oktober
2002. Beitr"age, die thematisch st"arker auf Deduktionssysteme
ausgerichtet sind, stehen am Anfang, Beitr"age spezifisch logischer
Pr"agung am Ende. 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.

____________________________________

Eingeladene Sprecher sind:


 * Prof. Dr. Reiner Haehnle, Chalmers University, Schweden

 * Prof. Dr. Wolfgang Thomas, RWTH Aachen.

____________________________________

Sitzungen der Fachgruppen:

FG Deduktionssysteme: 2.10.2002, 17.OO Uhr, im Raum 404,
Eckerstrasse 1
FG Logik in der Informatik: 3.10.2002, 17.00 Uhr, im Raum
404, Eckerstrasse 1

_____________________________________

Am 3.10.2002 findet ein gemeinsames Abendessen im
Restaurant 
"Kleiner Meyerhof", Rathausgasse 27, statt. Beginn: 19.30
Uhr.

Bitte, teilen Sie bei der Anmeldung mit, ob Sie am
gemeinsamen Abendessen teilnehmen werden.

_____________________________________

Anmeldung zur Tagung unter e-mail  dedlog at informatik.uni-freiburg.de  

Die Tagungsgeb"uhr betr"agt Euro 10,--; sie kann im
Tagunsgeb"aude vor dem Raum 404 entrichtet werden.

Weitere Einzelheiten zum Programm, zu Unterkunft und zu
Anfahrten finden sich unter http://wailoa.informatik.uni-freiburg.de/gi-tagung/



More information about the loginf mailing list