Prolog Forum SS 90, Uni Zuerich

Article View: dnet.mod-ki

Article #357

#357

From: Hans-Werner Hein
Date: Wed, 02 May 1990 14:18

53 lines
2921 bytes

From: "Markus P.J. Fromherz" <unido!ifi.unizh.ch!fromherz>
To: mod-ki@unido.informatik.uni-dortmund.de
Date: 30 Apr 90 14:14 +0200
Subject: Prolog Forum SS 90, Uni Zuerich
Keywords: Vortraege

mod-ki message 0451
************************************************************************
Institut fuer Informatik der Universitaet Zuerich
________________________________________________________________________

Prolog Forum                                  Programm Sommersemester 90

Das Prolog Forum mit Themen aus dem Bereich der Logischen Programmierung
dient dem informellen  Informationsaustausch.  Auch  neue  Ideen  sollen
vorgestellt und diskutiert  werden;  um  den  informellen  Charakter  zu
betonen, treffen sich die am Prolog Forum  Interessierten  ueber  Mittag
bei Sandwich, Biscuit und Kaffee. Das Prolog Forum findet alle  14  Tage
jeweils donnerstags 12:30 - 13:30  im  Studentenfoyer  der  Universitaet
Zuerich-Irchel  statt  (Raum 10-F-24,  Erdgeschoss  des  Instituts  fuer
Informatik).  Anschliessend  kann  im  kleinen  Rahmen  weiterdiskutiert
werden.

Das Prolog Forum findet ab diesem Semester alle 14 Tage alternierend mit
den Brown Bags statt!

Do   17. Mai   ! Wiktor Marek             Autoepistemic Logic and other
     14.00 Uhr ! University of Kentucky   modes of Non-monotonic
                 and Cornell University,  Reasoning
                 USA

Do   14. Juni    Rainer Manthey           KBL: Entwurfsprinzipien einer
                 ECRC, Muenchen           neuen Programmiersprache fuer
                                          deduktive Datenbanken

Do   28. Juni    Reinhard Muehlfeld       Prolog fuer Werkzeugmaschinen
                 Siemens AG, Erlangen

Do   12. Juli    Hendrik Decker           Integrity Checking in
                 Siemens AG, Muenchen     Deductive Databases

Fuer weitere Informationen:

       Markus P.J. Fromherz            Tel.:   +41-1-257 43 13 / 43 11
       Institut fuer Informatik        E-mail: fromherz@ifi.unizh.ch
       Universitaet Zuerich-Irchel
       Winterthurerstrasse 190
       CH-8057 Zuerich

Zuerich, 30. April 1990    Norbert E. Fuchs
************************************************************************

Technical Details

Message-ID: <1403@unido.UUCP>

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,aa0aff5e47821b51,start
X-Google-Attributes: gid1684e7,public
X-Google-ArrivalTime: 1990-05-02 06:32:28 PST
Path: arc1-ca.pugleaf.net!gmdzi!unido!mod-ki
From: mod-ki@unido.UUCP (Hans-Werner Hein)
Newsgroups: dnet.mod-ki
Subject: Prolog Forum SS 90, Uni Zuerich
Keywords: Vortraege
Message-ID: <1403@unido.UUCP>
Date: 2 May 90 14:18:57 GMT
Reply-To: "Markus P.J. Fromherz" <unido!ifi.unizh.ch!fromherz>
Distribution: dnet
Organization: Institut fuer Roboterforschung (IRF), Uni Dortmund
Lines: 53
Approved: mod-ki@unido.informatik.uni-dortmund.de (Hans-Werner Hein)
Posted: Wed May  2 15:18:57 1990