CALL FOR PARTICIPATION AND PRELIMINARY PROGRAM
	    ----------------------------------------------
				   
	    1995 COMPULOG-NET Workshop and Area Meeting on
	      Parallelism and Implementation Technology
				   
		      Utrecht  (the Netherlands)
			  September 23, 1995
		 (joint with PLILP'95 and LOPSTR'95)
			      
The 1995  COMPULOG-NET  Workshop and  Area  Meeting on Parallelism and
Implementation Technology will be held in Utrecht, September 23, 1995,
immediately  following LOPSTR  and  PLILP  1995.   The  meeting  is  a
successor the two previous Workshops in Madrid (1993 and 1994), and is
intended to be a communication  vehicle for people  interested in  the
implementation of  Computational Logic systems.   The transfer to  and
exploitation of such technology by industry are also issues of central
interest for the meeting.

The program for the  meeting is  included below.   Topics  of interest
include:  implementation  techniques,   parallelism  and  concurrency,
abstract   machines,   compilation  methods,   program   optimization,
sequential  and parallel  execution models, automatic parallelization,
concurrent/parallel  languages,  performance evaluation  methodologies
and studies, experiences in the implementation of systems.

Since  the  Workshop  will be  held in  the  same  place  as PLILP'95,
LOPSTR'95, and the Compulog-Net PD Workshop, and immediately following
them, and to make the  registration for  all  these events easier, the
information  regarding accommodation,  registration and transportation
for all of them has been included as part of the  global PLILP'95 call
for  participation.   We   are   enclosing  the   PLILP'95  call   for
participation,  which, as mentioned  before, includes  a  registration
form where you can register for  any  or all of  the  events.  This is
also the  form to be used for  the  hotel  reservation (which  will be
handled  by the PLILP organizers, independently of whether you will be
also attending PLILP or not).

No registration  fee is  needed  to  attend  the  Compulog-Net  ParImp
Workshop.  

A limited  number  of grants to support attendance at  the meeting  is
available.   Priority   will   be   given  to  authors   of   accepted
abstracts/papers.  If you are  interested,  and  have  not  done  yet,
please  send  your request to compulognet-parimp-meeting@dia.fi.upm.es
by ** September 12 **.

This Workshop  is sponsored by the COMPULOG  Network  on Computational
Logic.  Attendance is however in no way limited to network members.

Please feel free to request any other information by sending a message
to: compulognet-parimp-meeting@dia.fi.upm.es

For more information: 
WWW: "http://www.cs.ruu.nl/docs/plilp/index.html" and
WWW: "http://www.clip.dia.fi.upm.es/Projects/COMPULOG/95call.html" 

                    Preliminary Program
                    -------------------

SATURDAY,  September 23

9:00-9:30 Arrival and registration. 

9:30-10:00 
An overview of the ACE Project.
Enrico Pontelli and Gopal Gupta (New Mexico State U., USA).

10:00-10:30
Higher-Order Programming in an OR-intensive Style.
Paul Tarau (U. de Moncton, Canada) and 
Bart Demoen (Katholieke U. Leuven, Belgium). 

10:30-11:00 Break.

11:00-11:30 
Efficient Or-Parallel Interpretation of Logic Programs Handling 
Multi-Bindings.
Gonzalo Escalada-Imaz (Artificial Intelligence Research Institut, Spain).

11:30-12:00 
Using Sparse Binding Arrays for Or-parallelism.
Manuel Eduardo Correia, Vitor Santos Costa, and Fernando Silva
(U. do Porto, Portugal).

12:00-12:30
An Environment to Study Dynamic Load Balancing Functions
and its Application to the Parallel Logic System PLoSys.
S.E. Kannat (LGI-IMAG-INPG, France).

12:30-14:00 Lunch 

14:00-14:30 
The CIAO Multiparadigm Compiler and System: A Progress Report.
Manuel Hermenegildo and the CLIP Group 
(Technical University of Madrid, Spain). 

14:30-15:00 
Distributed Concurrent Constraint Execution in the CIAO System.
D. Cabeza and M. Hermenegildo (Technical University of  Madrid, Spain). 

15:00-15:30 Break.

15:30-16:00
Magic Sets Transforms of Functional Logic Programs.
J. Marin~o and J.J. Moreno-Navarro (Technical University of Madrid, Spain).

16:00-16:30
Towards a Declarative Language for Parallel and Concurrent Programming.
Silvia Breitinger, Rita Loogen (Philipps-U. Manburg, Germany) and 
Yolanda Ortega-Mallen (U. Complutense de Madrid, Spain).

16:30-16:45 Closing of the Workshop.

19:30-22:00 Social Dinner.