bharat@logic.cs.Buffalo.EDU (Bharat Jayaraman) (07/01/91)
ILPS 91 WORKSHOP
on
LANGUAGE ISSUES IN LOGIC PROGRAMMING
(ILPS = International Logic Programming Symposium)
November 1, 1991, San Diego, CA
The original formulation of logic programming in terms of relational
Horn clauses over first-order terms has over the years been extended
in several directions. There have been diverse motivations for the
proposed extensions: exploiting the unique nature of logic programming
(e.g., constraints, metaprogramming); integrating other programming
paradigms (e.g., functional programming, object-orientation); incorporating
software engineering principles (e.g. types, modules); etc.
This workshop will focus on logic programming language issues motivated
by software structuring concerns. Topics include type systems, inheritance,
modules and encapsulation, higher-order programming, etc. This is not
meant to be an exhaustive list; papers discussing language issues in
any area of logic programming and having as primary motivation
"improved software structuring" are welcome.
PAPER SUBMISSIONS:
Send 5 copies of an extended abstract (2-3 pages) by July 31,1991 to the
Workshop Coordinator:
Bharat Jayaraman
attn: ILPS 91 Workshop
226 Bell Hall
Department of Computer Science
SUNY - Buffalo
Buffalo, NY 14260.
E-Mail: bharat@cs.buffalo.edu
Phone: 716-636-3194
The abstracts will be reviewed by the following program committee:
Hassan Ait-Kaci, DEC Paris Research Lab
Joxan Jaffar, IBM Hawthorne
Bharat Jayaraman, SUNY at Buffalo
Dale Miller, Univ. of Pennsylavania
Gopalan Nadathur, Duke Univ.
Authors will be notified of acceptance/rejection by September 20, 1991.
Presentations are expected to have a 20+10 format: 20 minutes for
presentation, 10 minutes for discussion. The exact duration will be
determined to some extent by the number of papers selected.
WORKSHOP ATTENDANCE:
Attendance at the workshop will be open to all ILPS '91 registrants, but,
due to space limitations and the need to provide better interaction,
the number will be limited. If you are interested in attending,
inform the workshop coordinator as soon as possible (FCFS).