The proceedings are provided as a set of self-contained PostScript files, one per paper. If you print all of them, you get the complete proceedings including the front matter and correct page numbers - except for two papers where they are missing for technical reasons. (The ordering below adheres to the hardcopy proceedings, but not to the order in which the talks have been given.)

Front matter (i.e., title page, preface, and table of contents)

Invited talk

Bruno Buchberger Proving and Computing: A Language Environment Based on Mathematica

Concurrent and distributed programming

Dan Sahlin The Concurrent Functional Programming Language Erlang - An Overview

Seif Haridi, Peter Van Roy, and Gert Smolka An Overview of the Design of Distributed Oz

Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, and Ricardo Pena The Eden Coordination Model for Distributed Memory Systems

Functional logic programming

Christian Prehofer Some Applications of Functional-Logic Programming

Purificación Arenas-Sánchez, Teresa Hortalá-González, Francisco J. López-Fraguas, and Eva Ullán-Hernández Functional Logic Programming with Real Numbers

Maria Alpuente, Moreno Falaschi, P. Julián, and G. Vidal Call-by-Name Partial Evaluation of Functional Logic Programs

Combination of strategies

Sebastien Limet and Frederic Saubion Combining Rewrite Tools for Equational Logic Programming

Michael Hanus A Simple Operational Model for Concurrent Functional Logic Programming

Daniela Genius Sequential Implementation of Parallel Narrowing

Integration

Yves Caseau and François Laburthe CLAIRE: Combining Objects and Rules for Problem Solving

Richard McPhee and Oege de Moor Compositional Logic Programming

M. Gergatsoulis, P. Rondogiannis, and T. Panayiotopoulos Disjunctive Chronolog

Linear logic

Maribel Fernández and Ian Mackie Integrating Paradigms via Interaction Nets

John Maraist Finer Control of Weakening and Contraction: A Separated-Linear Lambda Calculus

Martin Köhler Distributed Deduction - a Linear Logic View of Parallel Computation

Satoshi Matsuoka Towards a Higher Order Unification Based on Proof Nets

Higher-order programming

Lee Naish Higher-order Logic Programming in Prolog

J. Carlos González-Moreno, M. Teresa Hortalá-González, and Mario Rodríguez-Artalejo A Higher Order Rewriting Logic for Functional Logic Programming