Wednesday, September 25

 
8.15 	Registration

8.50 	Opening ALP/PLILP

9.00 	Invited talk 
           Lambert Meertens
                Calculate Polytypically!

10.00 	Coffee break

10.30 	ALP session: Logic Programming
     	   W. Drabent, A. Di Pierro:
     		On Negation As Instantiation
     	   M. Garcia de la Banda, M. Hermenegildo, and K. Marriott:
     		Independence in Dynamically Scheduled Logic Languages
     	   F. Benhamou:
     		Heterogeneous Constraint Solving
     	   F. Fages, R. Gori:
     		A Hierarchy of Semantics for Normal Constraint Logic Programs
     	PLILP session: Concurrent and Parallel Programming
     	   Sergei Gorlatch:
     		Homomorphisms: Towards the Systematic Extraction and
     		Implementation of Divide-and-Conquer Parallelism
     	   L. A. Galan and C. Pareja, R. Pena:
     		Functional Skeletons Generate Process Topologies in Eden
     	   Thomas Gehrke, Michaela Huhn:
     		ProFun - a Language for Executable Specifications
     	   Maribel Fernandez, Ian Mackie:
     		From Term Rewriting to Generalised Interaction Nets
     	SAS session
     	   Hemant D. Pande, Barbara G. Ryder:
     		Data-Flow-Based Virtual Function Resolution
     	   Stephen Alstrup, Peter W. Lauridsen, Mikkel Thorup:
     		Generalized dominators for structured programs
     	   Olivier Roux and Vlad Rusu
     		Uniformity for the Decidability of Hybrid Automata
     	   R. Borgia, P. Degano, C. Priami, L. Leth, B. Thomsen:
     		Understanding Mobile Agents via a non-interleaving semantics for Facile

12.30 	Lunch

14.00 	Invited talk 
           Bernhard Steffen
                Property-Oriented Expansion

15.00 	Coffee break and poster session

16.00 	ALP session: Term Rewriting
     	   P.C. Olveczky, O. Lysne:
     		Order-sorted Termination: the Unsorted Way
     	   M. Marchiori:
     		Unravelings and Ultra-properties
     	   T. Suzuki:
     		Standardization Theorem Revisited
     	   Z. Khasidashvili, J. Glauert:
     		Discrete Normalization and Standardization in
     	   	Deterministic Residual Structures
     	PLILP session: Typing and Structuring Systems
     	   Stefan Kahrs:
     		Limits of ML-definability
     	   G. Belle, C.B. Jay, E. Moggi:
     		Functorial ML
     	   Pascale Louvet, Olivier Ridoux:
     		Parametric Polymorphism for Typed Prolog and lambda-Prolog
     	   Joaquin Mateos-Lago, Mario Rodriguez-Artalejo:
     		GOTA Algebras: A Specification Formalism for Inheritance
     		and Object Hierarchies
     	 SAS session
     	   German Puebla, Manuel Hermenegildo:
     		 Optimized Algorithms for Incremental Analysis of Logic Programs
     	   Martin Muller, Thomas Glass, Karl Stroetmann:
     		 Automated Modular Termination Proofs for Real Prolog Programs
     	   Juergen Brauburger, Juergen Giesl:
     		 Termination Analysis for Partial Functions
      	   Peter Holst Andersen, Carsten Kehler Holst:
     		 Termination Analysis for Offline Partial Evaluation
     		 of a Higher Order Functional Language

19.00 	Guided tour through Aachen