🚀 go-pugleaf

From: kerber@unido.informatik.uni-kl.de (Manfred Kerber)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Fri Mar  9 16:52:32 1990 
Subject: Deduktionstreffen 1990
Keywords: Termine

mod-ki message 0414
************************************************************************

 
                           Einladung zum
 
        7.Jahrestreffen der GI-Fachgruppe 1.2.1 "Deduktionssysteme"
 
           vom 26.-28.9.1990 in Johanniskreuz bei Kaiserslautern
 
                  ___________________________________
 
Das diesjaehrige Treffen wird vom Fachbereich Informatik der 
Universitaet
Kaiserslautern mit Unterstuetzung des Deutschen Forschungszentrums fuer
Kuenstliche Intelligenz organisiert. Schwerpunktmaessig werden die
Kaiserslauterer Deduktionsgruppen ihre Arbeiten vorstellen.
Interessenten, die einen Vortrag halten wollen, werden gebeten, sich bis
zum
                             +-------------+
                             | 4. Mai 1990 |  (Deadline!!!!)
                             +-------------+
 
unter Angabe des Titels, der Laenge (20 oder 30 min) und
eines Abstracts von maximal einer halben Seite anzumelden bei:
 
Manfred Kerber, Axel Praecklein
Fachbereich Informatik
Universitaet Kaiserslautern
Postfach 3049
6750 Kaiserslautern
Tel.: 0631/205-3331, 205-3344
 
Zu dem Treffen moechten wir alle einladen, die im Bereich
Deduktionssysteme arbeiten oder an diesem Gebiet Interesse haben. Es 
soll zum gegenseitigen Austausch von Erfahrungen dienen und Raum fuer
Diskussionen bieten.
 
Anreise: Das Jahrestreffen findet in Johanniskreuz suedlich von
Kaiserslautern an der B48 im Waldhotel Johanniskreuz (Tel. 06306/1304)
statt.
 
Fuer Bahnreisende bis Hbf Kaiserslautern organisieren wir private
Mitfahrgelegenheiten.
 
Anmeldung: Die Anmeldung zum Fachgruppentreffen erfolgt durch Einsenden
des Anmeldeformulars (siehe unten) bis zum 20. Juli 1990 an
die Veranstalter. Bei spaeterer Anmeldung muss man sich zwecks
Unterbringung direkt an das Waldhotel wenden!
Ein genaueres Programm (wieder mit Anmeldeformular) soll mit der Ausgabe 
2/90 von "KI" ab dem 5.6. verschickt werden.
Die Teilnehmergebuehr von 25,00 DM ist beim Treffen zu entrichten.
------------------------------------------------------------------------
Vorgesehene Zeiten:
Mittwoch   26.9.90: 14:30-18:00 Vortraege, 18:00-18:30 Problemcorner,
                    ab 20:00 Zeit fuer Sitzung der FG
Donnerstag 27.9.90: 9:00-12:30,14:30-18:00 Vortraege
Freitag    28.9.90: 9:00-12:30 Vortraege
 
------------------------------------------------------------------------   
ANMELDUNG ZUM 7. Jahrestreffen der GI-Fachgruppe 1.2.1 
"Deduktionssysteme"
 
 
 
Familienname         .................................
 
Vorname              .................................
 
 
Adresse        
............................................................
 
               
............................................................
 
               
............................................................
 
e-mail             .................................
 
Telefonnummer      .................................
 
 
 
Zimmerreservierung:
-------------------
 
Ich moechte im Waldhotel Johanniskreuz vom 26.-28.9.1990 uebernachten 
und zwar (Preise pro Person und Tag, Uebernachtung mit Fruehstueck in 
DM)
Einzelzimmer Preiskategorie      42,- bis 48,-       [ ]
Einzelzimmer Preiskategorie      55,- bis 80,-       [ ]
Doppelzimmer Preiskategorie      36,- bis 40,-       [ ]
Doppelzimmer Preiskategorie      45,- bis 60,-       [ ]
 
Falls kein Zimmer in der entsprechenden Preislage vorhanden ist, moechte
ich ein billigeres [ ], teureres [ ], keins [ ].
 
Im Falle eines Doppelzimmers, zusammen mit: 
...............................
 
Ich moechte vom Hauptbahnhof Kaiserslautern abgeholt werden. Ja [ ] Nein 
[ ]
 
                                   Unterschrift . . . . . . . . . . . .  
                                   Name         . . . . . . . . . . . .  
************************************************************************