[loginf] Fachgruppentreffen 2003

Prof. Franz Baader baader at tcs.inf.tu-dresden.de
Tue Apr 15 11:39:35 CEST 2003


Vorlaeufige Ankuendigung
========================

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.

Eingeladene Vortraege werden noch bekannt gegeben.

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

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.

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.

Detailliertere Informationen folgen in einem ausfuehrlichen "Call for
Talks and Participation".



---------------------------------------------------------------------------
Dipl.-Inf. Dominik Haneberg                   Lehrstuhl für Softwaretechnik
eMail: haneberg at informatik.uni-augsburg.de    und Programmiersprachen
Phone: ++49 821 598 2122                      Institut für Informatik
Fax:   ++49 821 598 2175                      Universität Augsburg
                                              D-86135 Augsburg
---------------------------------------------------------------------------Institut für Informatik
Fax:   ++49 821 598 2175                      Universität Augsburg
                                              D-86135 Augsburg
---------------------------------------------------------------------------



More information about the loginf mailing list