🚀 go-pugleaf

	  Partial Deduction and Partial Evaluation Workshop
	    International Conference on Logic Programming
			      Jerusalem
		  Workshop Organizer: Jan Komorowski
			Abo Akademi University

I am organizing a workshop on partial deduction and partial evaluation
in logic programming and related areas for this year's ICLP.

PURPOSE: The workshop aims to explore new research ideas and to
exchange recent results in partial deduction of logic programs (PD)
and partial evaluation of sequential and concurrent Prolog (PE).
Suggested topics include, but are not limited to:

	* application of abstract interpretation and other 
	  program analysis methods to PD/PE,  
	* PD/PE as a basis for systematic development of 
	  programs, 
	* relationship between partial evaluation in functional 
	  languages and PD/PE, and higher order PD,
	* environments for PD/PE. 

If you are interested in giving a presentation, please send me a short
description/summary (500-1000 words) for an informal review.  I would
also like to hear from persons who are interested in attending the
workshop.

DEADLINE:	April 22, 1990

ICLP workshops will be held in Eilat (Israel) on June 14-15,
preceeding the conference. 

CONTACT MODE:
	* Preferred: e-mail:  JKomorowski@finabo.abo.fi, 
	  or JKomorowski@finabo.bitnet
	* Possible: fax: 358-21-654732
	* Exceptional: s-mail:
	  Prof. Jan Komorowski
	  Department of Computer Science
	  Abo Akademi University
	  SF-20520 Abo
	  Finland
	  ph. 358-21-654679 (Time zone: +2 GMT)
--

Jan Komorowski
Department of Computer Science
]bo Akademi University
SF-20 610 Turku
Finland
ph.  358-21-654679
fax: 358-21-654732