🚀 go-pugleaf

From: "Markus P.J. Fromherz" <fromherz@ifi.unizh.ch>
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Fri, 25 Oct 1991 11:46:36 +0100
Subject: <mod-ki 0782> Prolog Forum
Keywords: Vortraege

mod-ki message 0782
************************************************************************
Prolog Forum                  UNI/ETH             Wintersemester 1991/92

Die 7. Saison                           The 7th season

Das Prolog Forum  mit Themen  aus  dem  The Prolog Forum wants to offer an  in-
Bereich  der  Logischen Programmierung  informal  information  exchange  in the
dient dem informellen Informationsaus-  Logic Programming domain.  Novel  ideas
tausch.  Auch  neue  Ideen sollen vor-  will be presented and  discussed,  too.
gestellt und diskutiert werden. Um den  To  emphasize  the  informal character,
informellen Charakter zu betonen,tref-  those  interested  in  the Prolog Forum
fen  sich die am Prolog Forum Interes-  meet over lunch time  with  sandwiches,
sierten  ueber  Mittag bei Sandwiches,  cookies, and coffee.
Biscuits und Kaffee.

Das Prolog Forum findet  alle  14 Tage  The  Prolog  Forum  takes  place  every
jeweils mittwochs 12:30 - 13:30 im Se-  two weeks, Wednesday,  12:30 - 13:30 in
minarraum des Instituts fuer  Informa-  the seminary room of the Institute  for
tik an der Universitaet Zuerich  statt  Computer Science  of  the University of
(Irchel,  Winterthurerstr. 190,   Raum  Zurich  (Irchel,  Winterthurerstr. 190,
21-G-74, unter der Mensa).  Anschlies-  room  21-G-74,  below  the  cafeteria).
send kann im kleinen Rahmen weiterdis-  Subsequent discussions are possible.
kutiert werden.


1991

Mi  6. Nov.  Lawrence Chachere             Advantages of a Logic-Based
             CUI, Universite de Geneve     Representation for Knowledge
                                           Acquisition in Expert Systems

Mi 20. Nov.  Geraint Wiggins               Synthesis and Transformation of
             Dept. of AI,                  Logic Programs by Constructive,
             University of Edinburgh       Inductive Proof

Mi  4. Dez.  Pierre Flener                 Stepwise, Schema-Guided Synthesis
             Universite de Namur, Belgien  of Logic Programs

Mi 18. Dez.  Ulrich Geske                  Optimierung der Kopplung von
             Institut fuer KI im ZKI,      Prolog mit Datenbanksystemen
             Berlin

1992

Mi  8. Jan.  Letizia Tanca                 LOGRES: a Deductive Database
             Dipt. di Elettronica,         Programming Language
             Politecnico di Milano

Mi 22. Jan.  Carlo Bach                    Eine Constraint-basierte logische
             Inst. fuer Integrierte        Programmiersprache fuer Konfigura-
             Systeme, ETH Zuerich          tionsaufgaben

Mi  5. Feb.  Dirk Neuhaus                  Leasing-Advisor P Ein wissensba-
             Inst. fuer Informatik,        siertes System zur Unterstuetzung
             Universitaet Basel            von Leasing- und Kreditkauf-Ent-
                                           scheidungen

Mi 19. Feb.  Thomas Walter                 PILOT - On the Implementation of
             ETH Zuerich                   LOTOS ADT's

Fuer weitere Informationen / For further information:

    Markus Fromherz                   Tel.:   +41-1-257 4313 / 4311
    Institut fuer Informatik          E-Mail: fromherz@ifi.unizh.ch
    Universitaet Zuerich-Irchel
    Winterthurerstrasse 190
    CH-8057 Zuerich

Zuerich, Oktober 1991      Norbert E. Fuchs, Robert Marti
************************************************************************