Jahrestreffen der GI-Fachgruppe 1.2.1

"Deduktionstreffen"



Kaiserslautern, 30.9.-1.10. 1999

Organisation
Jürgen Avenhaus, Jörg Denzinger
Fachbereich Informatik
Universität Kaiserslautern


Aktuelle Informationen

Die Fachgruppe 1.2.1, Deduktion, der GI veranstaltete ihr traditionelles jährliches Treffen 1999 an der Universität Kaiserslautern. Organisiert wurde das Treffen von der AG Avenhaus und der AG Madlener.

Wie üblich diente ein Teil der Vorträge dazu, Arbeiten der veranstaltenden Gruppen vorzustellen. Allerdings waren auch andere Interessenten (Mitgliedschaft in der Fachgruppe ist keine Voraussetzung) aufgerufen, sich aktiv mittels eines Vortrages am Treffen zu beteiligen. Von dieser Möglichkeit wurde auch Gebrauch gemacht, wie das Programm zeigt.

Alle interessierten Personen waren aufgerufen, sich zur Teilnahme am Deduktionstreffen (auch ohne eigenen Vortrag) anzumelden (Deadline: 17.9.99). Dazu sollte man eine kurze Email an dedtreff@informatik.uni-kl.de mit Name und Arbeitsgruppe schicken. Wir mussten leider einen kleinen Unkostenbeitrag in Höhe von DM 20,- von den Teilnehmern erheben (zahlbar bei Eintreffen zum Treffen). EIne Liste der Teilnehmer befindet sich hier

Wie üblich sollten sich die Teilnehmer am Treffen selbst um ihre Unterbringung kümmern. Eine Liste der Hotels in Kaiserslautern findet man hier.

Das Treffen fand in Gebäude 57, Raum 208/210 (Rotunde) statt. Eine Übersichtskarte der Uni findet man hier. Ein Anfahrtsplan befindet sich hier.


Zeitplan

    Einreichung von Vortragswünschen:1.8.99
Anmeldung zur Teilnahme:17.9.99
Deduktionstreffen:30.9.-1.10.99.

Bei Fragen, Kommentaren und Anregungen:
Email an Jörg Denzinger

Last Change: 04/10/99