<mod-ki 0782> Prolog Forum
Hans-Werner Hein
To: mod...@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: from...@ifi.unizh.ch
Universitaet Zuerich-Irchel
Winterthurerstrasse 190
CH-8057 Zuerich
Zuerich, Oktober 1991 Norbert E. Fuchs, Robert Marti
************************************************************************