<mod-ki 0676> 7. Workshop "Logische Programmierung"

Article View: dnet.mod-ki

Article #120

#120

From: Hans-Werner Hein
Date: Tue, 23 Apr 1991 10:41

61 lines
2831 bytes

From: BOLLINGE@LILOGVM2.bitnet (Toni Bollinger)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Fri, 22 Mar 91 12:37:32 CET
Subject: <mod-ki 0676> 7. Workshop "Logische Programmierung"
Keywords: Workshops

mod-ki message 0676
************************************************************************
                      Ankuendigung & Call for Papers

                               7.Workshop
                         Logische Programmierung

Die Fachgruppe 1.1.1 der GI e.V. veranstaltet  vom  7. - 9. Oktober 1991
in  Berlin  den  7. Workshop   "Logische  Programmierung".   Es   sollen
grundlegende Themen,  die  Prolog  und  seine  Erweiterungen  betreffen,
diskutiert werden. Dazu gehoeren:

 * Standardisierung von Prolog
 * Abstrakte Maschine
 * Funktionen, Typen, Module, Klassen
 * Metaprogrammierung
 * Time-Reasoning, unsicheres Schliessen
 * Constraint-logische Programmierung
 * Deduktive Datenbanken
 * Programmiertechniken
 * Deklarative Programmierung

Der Workshop soll die Gelegenheit geben, in einer zwanglosen Atmosphaere
Arbeiten  vorzustellen   und   auf   Entwicklungsrichtungen   einzugehen.

Organisationskomitee: U. Geske, IfKI, Berlin
                      H. Boley, DFKI, Kaiserslautern
                      A. Herold, ECRC, Muenchen
                      Ch. Beierle, IBM WZ-IWBS, Stuttgart
                      R. Dietrich, GMD, Karlsruhe

Vortragsanmeldungen mit  ausfuehrlicher  Kurzfassung (1 - 2 Seiten)  an:

   U. Geske
   IfKI im ZKI (AdW)
   Kurstrasse 33
   O-1086 Berlin
   Tel.: (Berlin-Ost) 20372361
   FAX: O-Berlin 20372301
   e-mail: geske@city.zki-berlin.adw.dbp.de

Teilnahmeanmeldungen an
   Frau Petri
   GI e.V. Aussenstelle Berlin
   Rudower Chaussee 5,
   O-1199 Berlin
   Tel: (Berlin-Ost) 6743742

Deadline  30. Juni 1991  fuer  Vortragsanmeldungen  und  kostenguenstige
Teilnahme.

Der Workshop ist oertlich und zeitlich mit dem Workshop  Inferenzsysteme
des FA 1.2 abgestimmt, so dass  eine  problemlose  Teilnahme  an  beiden
Veranstaltungen moeglich ist.
************************************************************************

Technical Details

Message-ID: <4705@unido.informatik.uni-dortmund.de>

Path: arc1-ca.pugleaf.net!gmdzi!unido!mod-ki

Show Full Headers

Complete Article Headers

X-Google-Language: GERMAN,ASCII-7-bit
X-Google-Thread: 1684e7,37d13e10c3cf42e0,start
X-Google-Attributes: gid1684e7,public
X-Google-ArrivalTime: 1991-04-23 04:29:14 PST
Path: arc1-ca.pugleaf.net!gmdzi!unido!mod-ki
From: mod-ki@unido.informatik.uni-dortmund.de (Hans-Werner Hein)
Newsgroups: dnet.mod-ki
Subject: <mod-ki 0676> 7. Workshop "Logische Programmierung"
Keywords: Workshops
Message-ID: <4705@unido.informatik.uni-dortmund.de>
Date: 23 Apr 91 10:41:09 GMT
Reply-To: BOLLINGE@LILOGVM2.bitnet (Toni Bollinger)
Distribution: dnet
Organization: Institut fuer Roboterforschung (IRF), Uni Dortmund
Lines: 61
Approved: mod-ki@unido.informatik.uni-dortmund.de (Hans-Werner Hein)