🚀 go-pugleaf

From: goltz@city.zki-berlin.adw.dbp.de (Hans-Joachim Goltz)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: 23 May 91  9:23 +0100
Subject: <mod-ki 0713> Call: Log.Prog./Inferenzsysteme/Deduktion
Keywords: Workshops, GI-FA 1.2

mod-ki message 0713
************************************************************************
                          Zweite Information

                 7. Workshop Logische Programmierung

                       7. bis  9. Oktober 1991

                   Workshop ueber Inferenzsysteme 
               und Treffen der Fachgruppen des FA 1.2
                     mit 8. Deduktionstreffen

                       9. bis 12. Oktober 1991


Veranstaltungsort:
Wissenschaftliches Kommunikations- und Konferenzzentrum der
Humboldt-Universitaet zu Berlin, Eichwalderstr.100, O-1251 Gosen,
(am suedoestlichen Stadtrand von Berlin, Kreis Fuerstenwalde),
Tel.: Berlin (Ost)  55435195


Programmablauf:

7.10. (vormittags): Anreise (in Einzelfaellen auch am 6.10. moeglich)

7.10. (nachmittags) bis 9.10. (vormittags):
      7. Workshop Logische Programmierung mit den 
      Schwerpunkten: Standardisierung von Prolog; Abstrakte Maschine; 
                     Funktionen, Typen, Module, Klassen;
                     Metaprogrammierung; 
                     Time-Reasoning, unsicheres Schliessen;
                     Constraint-logische Programmierung; 
                     deduktive Datenbanken;
                     Programmiertechniken; 
                     Deklarative Programmierung

9.10. (nachmittags) und 11.10.:
      paralleles Programm der Fachgruppen des FA 1.2 : 
      FG 1.2.1 "Deduktionssysteme" (8.Deduktionstreffen), 
      FG 1.2.2 "Nichtmonotones Schliessen   und 
      FG 1.2.3 "Qualitatives Schliessen".

10.10.: Workshop "Repraesentation von Wissen in Inferenzsystemen"
      Ziel der Veranstaltung ist der Erfahrungsaustausch von
      Wissenschaftlern, die in den Gebieten Deduktionssysteme, 
      nichtmonotones Schliessen, qualitatives und 
      modell-basiertes Schliessen und unscharfes Schliessen arbeiten.
      In den Vortraegen werden vorrangig Themen dargelegt,
      die ueber das jeweilige Spezialgebiet hinaus fuer die Arbeit
      innerhalb anderer Gebiete relevant sein koennen.

12.10.: Abreise


Call for Papers: siehe Zeitschrift KI 1/91; Deadline: 30. Juni 1991


Teilnahmemeldung / Zimmerreservierung :
an: Frau Petri, GI e.V., Aussenstelle Berlin,
Rudower Chaussee 5, O-1199 Berlin,
Tel.: Berlin (Ost) 6745960

Mit der Zimmerreservierung ist die gewuenschte Art der Unterkunft
anzugeben (Einzel-, Doppel- oder Vierbettzimmer);
Bettpreise: 20,- bis 60,- DM pro Tag.

Ab 1. August werden mit dem vorlaeufigen Programm und weiteren 
Informationen auch die Teilnahmebestaetigungen versendet.


Teilnehmergebuehren:

Die Gebuehren fuer die Teilnahme an allen Workshops
vom 7.10. bis 12.10.91 betragen:

bei Anmeldung: |  bis 30.6.  |  nach dem 30.6.
-----------------------------------------------
               |   120,- DM  |   150,- DM
GI-Mitglieder  |   100,- DM  |   130,- DM 
Studenten      |    30,- DM  |    50,- DM

Die Gebuehren fuer die Teilnahme an nur einer Veranstaltung (7.-9.10.
oder 9.-12.10.) betragen die Haelfte der o.g. Gebuehren.

Antraege auf ermassigte Teilnehmergebuehren, insbesondere aus den neuen
Bundeslaendern, nimmt Frau Petri (siehe oben) entgegen.

Einzahlung der Teilnehmergebuehren bis 20.9.91 (die Kontonummer 
wird mit der Teilnahmebestaetigung uebermittelt).

Die Kosten fuer Verpflegung (ca. 40,- DM pro Tag) und Unterkunft
sind direkt mit dem Konferenzzentrum abzurechnen.


Verantwortlich fuer die Organisation:

   U. Geske und H.-J. Goltz
   IfKI im ZKI, Kurstr. 33
   O-1086 Berlin

   Tel   :  Berlin (Ost) 20372361  bzw.  20372238
   Fax   :  Berlin (Ost) 20372301
   e-mail:  geske@city.zki-berlin.adw.dbp.de  bzw.
            goltz@city.zki-berlin.adw.dbp.de
************************************************************************