[loginf] Fachgruppentreffen 2003

Prof. Franz Baader baader at tcs.inf.tu-dresden.de
Thu Jun 12 16:23:20 CEST 2003


********************************************************************
                  Call for Talks and Participation

          Gemeinsames Jahrestreffen 2003 der GI-Fachgruppen
                 0.1.6 Logik in der Informatik
                    1.2.1 Deduktionssysteme

           8.Oktober 2003 bis 10.Oktober 2003 in Augsburg
********************************************************************

Die Arbeitsgruppe von Prof. Reif (Lehrstuhl fuer Softwaretechnik und
Programmiersprachen, Institut fuer Informatik der Universitaet Augsburg)
veranstaltet 2003 die jaehrlichen Fachgruppentreffen der GI-Fachgruppen
"Logik in der Informatik" und "Deduktionssysteme". Ort des gemeinsamen
Jahrestreffens ist Augsburg, das Treffen dauert vom 8.10.03 bis zum
10.10.03. Wir hoffen, dass viele die Moeglichkeiten wahrnehmen, welche die
gemeinsame Tagung bietet, und durch Vortraege, Diskussionen und Gespraeche
zum Erfolg beitragen.

Als eingeladene Sprecher haben zugesagt:
Prof. Dr. Erich Graedel, RWTH Aachen
Prof. Tobias Nipkow Ph.D., Technische Universitaet Muenchen

Am spaeten Nachmittag des 8.10.03 ist die Fachgruppensitzung der
Fachgruppe 1.2.1 (Deduktionssysteme) vorgesehen, die Fachgruppensitzung
der Fachgruppe 0.1.6 (Logik in der Informatik) soll am spaeten Nachmittag
des 9.10.03 stattfinden.

Fuer den 8.10.03 ist eine kleine Fuehrung durch Augsburg und ein
gemeinsames Abendessen im Ratskeller geplant.



Vortragsanmeldungen mit einer schriftlichen Zusammenfassung werden bis
zum 15. August 2003 erbeten an deduktion at informatik.uni-augsburg.de



Anmeldung zur Teilnahme per E-Mail an deduktion at informatik.uni-augsburg.de
Bitte teilen Sie bei der Anmeldung mit, ob Sie am gemeinsamen Abendessen 
teilnehmen werden.


Unter 
   http://www.informatik.uni-augsburg.de/swt/deduktionstreffen2003/index.html
finden sich die aktuellsten Informationen zum Programm, zu den
Anmeldeterminen, zur Anfahrt und Vorschlaege fuer die Unterkunft.


Mit freundlichen Gruessen

Dominik Haneberg



More information about the loginf mailing list