9.00 ALP session: Abstract Interpretation
     	E. Marchiori:
     		Prime Factorizations of Abstract Domains Using First Order Logic
     	P. Volpe:
     		Abstractions of Uniform Proofs
     	R. Giacobazzi, F. Ranzato:
     		Complementing Logic Program Semantics
     PLILP session: Tools and Programming Environments
     	Maria-Virginia Aponte, Roberto Di Cosmo:
     		Type isomorphisms for module signatures
     	Salvatore Ruggieri:
     		Decidability of logic program semantics and applications to testing
     	Enno Scholz:
     		PIDGETS - Unifying Pictures and Widgets in a Constraint-Based
     		Framework for Concurrent Functional GUI Programming
     PLILP session: lambda-Calculus and Rewriting
     	Fairouz Kamareddine, Alejandro Rios:
     		Generalized beta reduction and explicit substitution
     	Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer H"ogsbro Rose:
     		Modeling Sharing and Recursion for Weak Reduction Strategies
     		using Explicit Substitution
     	Salvador Lucas:
     		Context-sensitive computations in confluent programs

10.30 Coffee break

11.00 ALP session: lambda-Calculus and Rewriting
     	R. Kennaway, V. van Oostrom, F.-J. de Vries:
     		Meaningless Terms in Rewriting
     	K. Mano, M. Ogawa:
     		Unique Normal Form Property of Higher-Order Rewriting Systems
     	C. Ferreira, D. Kesner, L. Puel:
     		lambda-Calculi with Explicit Substitutions and Composition
     		which Preserve beta-strong Normalization
     PLILP session: Implementation
     	Christoph W. Kessler:
     		Scheduling Expression DAGs for Minimal Register Need
     	Juliana Freire, Terrance Swift, David S. Warren: Beyond Depth-First:
     		Improving Tabled Logic Programs through Alternative Scheduling Strategies
     	Xining Li:
     		Program Sharing: A New Implementation Approach for Prolog
     PLILP session: Program Transformation (1)
     	Michael Leuschel and Danny De Schreye:
     		Logic Program Specialisation: How To Be More Specific
     	Robert Gl"uck, Jesper J"orgensen, Bern Martens, Morten H. S"orensen:
     		Controlling Conjunctive Partial Deduction
     	N. De Francesco and A. Santone:
     		Unfold/Fold Transformations of Concurrent Processes

12.30 Lunch

14.00 ALP session: Types
     	J.M. Almendros-Jimenez, A. Gavilantes-Franco, A. Gil-Luezas:
     		Algebraic Semantics for Functional Logic Programming
     		with Polymorphic Order-Sorted Types
     	D. Nazareth:
     		Specifying Type Systems
     	D. Nazareth:
     		The Semantic Treatment of Polymorphic Specification Languages
      PLILP session: Program Transformation (2)
     	Olivier Danvy, Rene Vestergaard:
     		Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation
     	Peter Thiemann:
     		Implementing Memoization for Partial Evaluation
     	G. W. Hamilton:
     		Higher Order Deforestation

15.30 Coffee break

16.00 PLILP session: Constraints and Deductive Databases
     	Peter Stuckey, Vincent Tam:
     		Models for using Stochastic Constraint Solvers in Constraint Logic Programming
     	Peter Van Roy, Michael Mehl, Ralf Scheidhauer:
     		Integrating efficient records into concurrent constraint programming
     	Mengchi Liu:
     		The LOL Deductive Database Programming Language

17.30 Closing