Monday, May 28th 1999
=====================

7:30-9:00 Breakfast

9:00-9:25 Registration

9:25-9:30 Welcome

9:30-10:30 Session 1
  Integrating Functional-Logic and State-Oriented Specifications
     P. Padawitz

10:30-11:00 Break

11:00-12:30 Session 2
  Transforming Context-Sensitive Rewrite Systems
     J. Giesl and A. Middeldorp
  Selection Strategies of Matching Traversal Orders for
  Non-Strongly Sequential Systems
     N. Nedjah and L. M. Mourelle
  A Domain-Theoretical Approach to the Semantics and 
  Analysis of Narrowing Computations
     M. Hanus and S. Lucas

13:00-14:00 Lunch

14:30-16:00 Session 3
  A Functional Specification of Declarative Debugging for Logic Programming
     R. Caballero, F.J. Lopez-Fraguas and M. Rodriguez-Artalejo
  Reasoning about Fluents in Logic Programming
     V. Pallota
  A Fully Abstract Semantics for Modular Programming based on a Rewriting Logic
     J.M. Molina-Bravo and E. Pimentel  

16:00-16:30 Break

16:30-18:00 Session 4
  A Distributed Constraint Solving System for Functional Logic Programming
     M. Martin, T. Ida and W. Schreiner
  A Functional Logic Language as Hostlanguage for a System of 
  Combined Constraint Solvers
     P. Hofstedt
  A Type-based Nondeterminism Analysis for Functional Logic Languages
     M. Hanus and  F. Steiner

19:00-20:00  System demonstration 
  PACS - The Portland Aachen Curry System
     M. Hanus

20:00-21:00  Dinner



Tuesday, May 29th 1999
======================

7:30-9:00  Breakfast

9:00-10:00 Session 5
  Abstract Interpretation based Verification of Logic Programs
     M. Comini, R. Gori, G. Levi and P. Volpe

10:00-10:30 Break

10:30-12:30 Session 6
  An Incremental Curry Interpreter
     M. Alpuente, S. Escobar and S. Lucas
  An Efficient Abstract Machine for Curry
     W. Lux and H. Kuchen
  A Study of the Operational Behaviour of Escher and its Implementation
     K. Eder
  Distributed Programming in Curry
     M. Hanus

12:45-13:45 Lunch

14:00-18:00 Excursion

20:00-21:00 Dinner



Wednesday, May 30th 199
=======================

7:30-9:00  Breakfast

9:00-10:00 Session 7
  Inductive Functional Logic Programming
     J. Hernandez-Orallo and M.J. Ramirez-Quintana
  Inductive Logic Programming with Well-Modedness Constraints
     A. Hamfelt and J.F. Nilsson

10:00-10:30 Break

10:30-12:00 Session 8
  Specialization of Functional Logic Programs Based on Needed Narrowing
     M. Alpuente, M. Hanus, S. Lucas and G. Vidal
  Partial Evaluation of Residuating Functional Logic Programs
     E. Albert, M. Alpuente, M. Hanus and G. Vidal
  Parallel Graph Narrowing
     R. Echahed and J.-C. Janodet

12:00-13:00 Lunch