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)
			      
				   
			       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) and 
Ana M. Martinez-Enriquez (Center of Advanced Studies of the I.P.N., Mexico).

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. Marburg, Germany) and 
Yolanda Ortega-Mallen (U. Complutense de Madrid, Spain).

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

19:30-22:00 Social Dinner.