8:30 Registration

9:15 Opening

9:30 - 10:30 Session 1: Invited talk

• Peter Van Roy (Catholic University of Louvain): Functional-Logic Programming as an Antidote to Java in Computer Science Education

11:00 - 12:30 Session 2: Functional logic programming

• Sergio Antoy, Pascual Julian Iranzo, Bart Massey: Improving the Efficiency of Non-Deterministic Computations

• Jeremie Blanc, Rachid Echahed: Adding Time to Functional Logic Programs

• André Rauber Du Bois, Jorge Luis Victória Barbosa, Cláudio Fernando Resin Geyer: Adding Functional Programming into the Holo Language

14:00 - 15:30 Session 3: Debugging

• M. Alpuente, F. Correa, M. Falaschi: A Debugging Scheme for Functional Logic Programs

• Rafael Caballero, Mario Rodriguez-Artalejo: A Declarative Debugger of Wrong Answers for Lazy Functional Logic Programs

• Bernard Pope, Lee Naish: Specialisation of Higher-Order Functions for Debugging

16:00 - 17:30 Session 4: Constraints

• Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, Matthias Schmauss: JACK: A Java Constraint Kit

• Dietmar Seipel, Ulrich Geske: Solving Cardinality Constraints in (Constraint) Logic Programming

• Georg Ringwelski: An Asynchronous Execution Model for Constraint Processing in Object-Oriented Software

17:45 - 19:00 Annual meeting of the Society of Logic Programming (GLP e.V.)

9:00 - 10:30 Session 5: Types

• Manfred Widera: A Sketch of Complete Type Inference for Functional Programming

• Lucilia Figueiredo, Carlos Camarão: Principal Typing And Mutual Recursion

• Sandra Alves, Mário Florido: Type Inference using Constraint Handling Rules

11:00 - 12:30 Session 6: Foundations

• Miguel Palomino Tarjuelo: Comparing Meseguer's Rewriting Logic with the Logic CRWL

• Salvador Lucas: Context-Sensitive Rewriting, Lazy Rewriting, and On-Demand Rewriting

• Sibylle Schwarz: Stable Generated Models of Generalized Constraint Logic Programs

14:00 - 15:30 Session 7: System demonstrations

• Rudolf Berghammer, Ulf Milanese: KIEL - A Computer System for Visualizing the Execution of Functional Programs

• Michael Hanus, Johannes Koj: CIDER: An Integrated Development Environment for Curry

• Alfred Fent, Burkhard Freitag: ULTRAflow - A Lightweight Workflow Management System

Excursion and conference dinner:

17:00 - 18:00: Visit of the "Schifffahrtsmuseum" (ship museum)

18:15: Boat trip with the "Stadt Kiel"

9:00 - 10:30 Session 8: Invited talk / Erlang

• Thomas Arts (Ericsson): Functional programming and logic decrease the use of the most important part of our system

• Frank Huch: Model Checking Erlang Programs - Abstracting the Context-Free Structure

11:00 - 12:30 Session 9: Implementation

• Erik Johansson, Konstantinos Sagonas: Linear Scan Register Allocation in the HiPE Compiler

• Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner: An Implementation of Narrowing Strategies

• Shinya Sato, Toru Sugimoto, Shinichi Yamada: An implementation model of the typed lambda-calculus based on Linear Chemical Abstract Machine

14:00 - 15:30 Session 10: Language design

• Rachid Echahed, Wendelin Serwe: A Component-Based Approach to Concurrent Declarative Programming

• Rachid Echahed, Wendelin Serwe: Integrating Action Definitions into Concurrent Declarative Programming

• J.E. Labra Gayo, J.M. Cueva Lovelle, M.C. Luengo Díez, A. Cernuda del Río: Specification of Logic Programming Languages from Reusable Semantic Building Blocks

16:00 - 17:30 Session 11: Logic programming: Extension and transformation

• Chieko Nakabasami: Inducing differences among Documents using Aleph with Construction of Background Knowledge

• Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike: Emergent Computation for Semantic Interpretation by Rule-Based Equivalent Transformation

• Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike: Synthesis of Conversion Rules by Expanding Logic Programs