[loginf] Zweiter Aufruf zur Teilnahme

DEDLOG-Tagung dedlog at informatik.uni-freiburg.de
Fri Aug 2 16:40:11 CEST 2002


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


                     Zweiter Aufruf zur Teilnahme
              (Anmeldeschluss verlängert bis 15 August)


              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ährlichen Treffen der GI-Fachgruppen "Deduktionssysteme"
und "Logik in der Informatik" werden im Jahr 2002 gemeinsam
stattfinden und von David Basin (Institut für Informatik der
Universität Freiburg) und Heinz-Dieter Ebbinghaus (Institut
für mathematische Logik der Universität Freiburg) ausgerichtet.
Die gemeinsame Veranstaltung beginnt am Morgen des 2. Oktober
2002 und endet gegen Mittag am 4. Oktober 2002. Beiträge, die
thematisch stärker auf Deduktionssysteme ausgerichtet sind,
sollen am Beginn der Tagung stehen, Beiträge spezifisch
logischer Prägung am Ende der Tagung. Teilnehmer/Teilnehmerinnen
mit beschränkter Zeit können also ihre Teilnahme auf zwei Tage
begrenzen, ohne auf wesentliche Teile ihrer Fachgruppenthematik
verzichten zu müssen. Wir hoffen, dass viele die Möglichkeiten
wahrnehmen, welche die gemeinsame Tagung bietet, und durch
Vorträge, Diskussionen und Gespräche 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ür die Fachgruppensitzungen sind vorgesehen:
Der späte Nachmittag des 2.10.2002 für die Gruppe
"Deduktionssysteme" und der späte Nachmittag des 3.10.2002 für
die Gruppe "Logik in der Informatik".

Vortragsanmeldungen mit einer schriftlichen Zusammenfassung werden bis
zum 15. August 2002 erbeten an dedlog at informatik.uni-freiburg.de

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



Abdelwaheb Ayari
---------------------------------------------------------------------------
Abdelwaheb Ayari                           ayari at informatik.uni-freiburg.de
Institut für Informatik                    Building 52, Room 00-020
Albert-Ludwigs-Universität Freiburg        Phone: (49) (761) 203-8244
Georges-Köhler-Allee 52                    Fax:              203-8242
D-79110 Freiburg, Germany                     




More information about the loginf mailing list