8.30 Registration

 9.00 Invited talk
        Claude Kirchner
		Toward the Concurrent Implementation of Computational Systems

10.00 Coffee break

10.30 ALP session: Integration of Paradigms
     	L. Caires:
     		A Language for the Logical Specification of Processes and Relations
     	L. Brim, J.-M. Jacquet, M. Kretinsky, D. Gilbert:
     		A Process Algebra for Synchronous Concurrent Constraint Programming
     	D. Ancona, E. Zucca:
     		An Algebraic Approach to Mixins and Modularity
     	H. Fassbender, S. Maneth:
     		A Strict Border for the Decidability of E-Unification for Recursive Functions
     PLILP session: Program Analysis
     	M. Garcia de la Banda, F. Bueno, M. Hermenegildo:
     		Towards Independent And-Parallelism in CLP
     	Geoffrey Weyer, Will Winsborough:
     		Annotated Structure Shape Graphs for Abstract Analysis of Prolog
     	Roberto Bagnara:
     		A Reactive Implementation of Pos Using ROBDDs
     	Didier Parigot, Gilles Roussel, Martin Jourdan, Etienne Duris:
     		Dynamic Attribute Grammars
     SAS session
     	Stephane Schoenig and Mireille Ducasse:
     		A Backward Slicing Algorithm for Prolog
     	Gregor Snelting:
     		Combining Slicing and Constraint Solving for
     		Validation of Measurement Software
     	Robert Givan:
     		Inferring Program Specifications in Polynomial-Time
     	Ross Paterson:
     		Compiling Laziness using Projections

12.30 Lunch

14.00 Excursion

20.00 Dinner