dale@linc.cis.upenn.edu (Dale Miller) (05/28/90)
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