Prolog Forum

Article View: dnet.mod-ki

Article #460

#460

From: Hans-Werner Hein
Date: Wed, 26 Apr 1989 15:57

53 lines
2230 bytes

From: "Norbert E. Fuchs" <unido!cernvax!ifi.unizh.ch!fuchs>
To: mod-ki@unido.uucp
Date: 20 Apr 89 16:42 +0100
Subject: Prolog Forum
Keywords: 

mod-ki message 0246
************************************************************************
Prolog Forum Summer 1989
------------------------
Department of Computer Science of the University of Zurich

At the Prolog Forum researchers and practitioners  interested  in  Logic
Programming and Prolog meet over lunch time - bring your own  sandwiches
- for informal presentations and discussions.

The Prolog Forum usually takes place on Tuesday at 12.30 in the  Student
Foyer  (Room  10-F-24,  Institute  for  Computer   Science,   University
Zurich-Irchel).

During the summer 1989 the following  presentations  have  already  been
scheduled.


May 30
Anna-Maria Emde, ECRC, Munich
Opium - An Approach to Automate the Debugging of Prolog Programs

June 27
Christoph Beierle, IBM (LILOG),  Stuttgart
Logic Programming with Types in PROTOS-L

July 4
Philippe Dugerdil, Universite' de Neucha^tel
Qualitative Modelling of the Human Pathophysiology: How to Do It in
Prolog

July 11
Christoph Draxler, University of  Zurich
Namensreaktionen in der organischen Chemie - eine neue Anwendung
deduktiver Datenbanken

Date to be Determined
John Gallagher, Katholieke Universiteit Leuven
Abstract Interpretation for Program Specialization

------------------------------
N. E. Fuchs
Department of Computer Science
University of Zurich
+41-1-257 4313/4311
fuchs@ifi.unizh.ch
************************************************************************

Technical Details

Message-ID: <467@unido.UUCP>

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

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 1684e7,da8d019c26526ef1,start
X-Google-Attributes: gid1684e7,public
X-Google-ArrivalTime: 1989-04-26 21:34:37 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
Message-ID: <467@unido.UUCP>
Date: 26 Apr 89 15:57:01 GMT
Reply-To: "Norbert E. Fuchs" <unido!cernvax!ifi.unizh.ch!fuchs>
Distribution: dnet
Organization: Institut fuer Roboterforschung (IRF), Uni Dortmund
Lines: 53
Approved: mod-ki@unido.UUCP (Hans-Werner Hein)
Posted: Wed Apr 26 16:57:01 1989