🚀 go-pugleaf

                            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).