Path: utzoo!utgpu!news-server.csri.toronto.edu!clyde.concordia.ca!uunet!samsung!sdd.hp.com!zaphod.mps.ohio-state.edu!math.lsa.umich.edu!math.lsa.umich.edu!emv
From: dale@linc.cis.upenn.edu (Dale Miller)
Newsgroups: comp.archives
Subject: [comp.lang.prolog] Schedule for ICLP Workshop on Structuring
Message-ID: <1990May27.200816.28386@math.lsa.umich.edu>
Date: 27 May 90 20:08:16 GMT
Sender: emv@math.lsa.umich.edu (Edward Vielmetti)
Reply-To: dale@linc.cis.upenn.edu (Dale Miller)
Followup-To: comp.lang.prolog
Organization: University of Michigan, Department of Mathematics
Lines: 62
Approved: emv@math.lsa.umich.edu (Edward Vielmetti)
X-Original-Newsgroups: comp.lang.prolog

Archive-name: iclp-abstracts/25-May-90
Original-posting-by: dale@linc.cis.upenn.edu (Dale Miller)
Original-subject: Schedule for ICLP Workshop on Structuring
Archive-site: linc.cis.upenn.edu [130.91.6.8]
Archive-directory: pub
Archive-files: handout.tex
Reposted-by: emv@math.lsa.umich.edu (Edward Vielmetti)

Below is the schedule for the ICLP-90 Pre-Conference Workshop on
Structuring Disciplines for Logic Programming to be held 15 June 1990
in Eilat, Israel.  If you are interested in participating in this
workshop, please contact me.  The abstracts of talks scheduled to be
given at this workshop are available by sending me mail or by
anonymous ftp to site linc.cis.upenn.edu (130.91.6.8).  Retrieve the
file ~ftp/pub/handout.tex (44Kbytes).

 -Dale Miller, dale@cis.upenn.edu, +(215) 898-1593


8:30 - 10:45 Session A
Notions of Scoping in Intuitionistic Logic
 Dale Miller (Philadelphia)

Lexical Logic Programs
 Yael Moscowitz (Rehovot), Ehud Shapiro (Rehovot)

Description of a basic system for contextual logic programming
 Luis Monteiro (Lisboa), Antonio Porto (Lisboa)

10:45 - 11:00 Break

11:00 - 12:30 Session B

Extending Horn Clause Logic with Blocks and Modules
 Laura Giordano (Turino), Alberto Martelli (Turino),
 G. F. Rossi (Udine)

A General Framework for Structuring Logic Programs
 Antonio Brogi (Pisa), Evelina Lamma (Bologna),
 Paola Mello (Bologna), Antonio Natali (Bologna)

12:30 - 2:00 Lunch
2:00 -  3:15 Session C

Outline of the semantics of a basic system for contextual logic
programming
 Luis Monteiro (Lisboa), Antonio Porto (Lisboa)

Programming by Composing Open Logic Theories
 Antonio Brogi (Pisa), Evelina Lamma (Bologna), Paola Mello (Bologna)

3:15 -  3:30 Break

3:30 -  5:00 Session D

A Logic Approach to Object-oriented Logic Programming
 Jean-Marc Andreoli (Munich), Remo Pareschi (Munich)

Modules for Prolog
 Michel Dorochevsky (Munich)

5:00 - 6:00 General discussions