[loginf] Jahrestreffen 2003

Dominik Haneberg Dominik.Haneberg at Informatik.Uni-Augsburg.DE
Tue Jul 29 15:55:52 CEST 2003


********************************************************************
               Zweiter 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.

Eingeladene Vortraege:
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 einem kurzen Abstract werden bis
zum 31. 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