WFLP 2001 - Call for Participation

Frank Steiner
Mon, 2 Jul 2001 14:35:28 +0200

                     * Call for Participation *

                              WFLP 2001
International Workshop on Functional and (Constraint) Logic Programming


                          comprising the

    10th International Workshop on Functional and Logic Programming
             16th Workshop on Logic Programming

                          Kiel, Germany
                      September 13-15, 2001

   Early Registration and Hotel Reservation Deadline: July 15, 2001



WFLP 2001 is the combination of two workshops of a successful series
of annual workshops on declarative programming. The international
workshops on functional and logic programming aimed at bringing
together researchers interested in functional programming, logic
programming, as well as their integration. Previous workshops
have been held in Benicassim (Spain), Grenoble (France), Bad Honnef
(Germany). The workshops on (constraint) logic programming are the
annual meeting of the Society of Logic Programming (GLP e.V.) and
bring together researchers interested in logic programming,
constraint programming, and related areas like databases and artificial
intelligence. Previous workshops have been held in Germany, Austria
and Switzerland.

In this year both workshops will be jointly organized in order to
promote the cross-fertilizing exchange of ideas and experiences
among researches and students from the different communities
interested in the foundations, applications, and combinations
of high-level, declarative programming languages and related areas.


Information concerning registration and accommodation can be found at
the workshop web page at
is July 15th, 2001.


The technical program includes:


   Peter Van Roy (Catholic University of Louvain)

   Thomas Arts (Ericsson)


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

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

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

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

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

   Jeremie Blanc and Rachid Echahed:
   Adding Time to Functional Logic Programs

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

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

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

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

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

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

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

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

   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

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

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

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

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

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

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

   Sibylle Schwarz:
   Stable Generated Models of Generalized Constraint Logic Programs

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

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


   Rudolf Berghammer:
   KIEL - A Computer System for Visualizing the Execution of
   Functional Programs

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

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


   WFLP 2001
   Prof. Michael Hanus
   Institut fuer Informatik und Praktische Mathematik
   Christian-Albrechts-Universitaet Kiel
   Olshausenstr. 40 
   D-24098 Kiel, Germany
   Phone: ++49-(0)431-880-7271 or -7270 (Secr.)
   Fax  : ++49-(0)431-880-7613


Slim Abdennadher (LMU Muenchen)
Maria Alpuente (UP Valencia)
Sergio Antoy (Portland State University)
Christoph Beierle (FernUniv. Hagen)
Alexander Bockmayr (Univ. Henri Poincare, Nancy)
Harold Boley (DFKI Kaiserslautern)
François Bry (LMU Muenchen)
Juergen Dix (Univ. Manchester)
Rachid Echahed (IMAG, Grenoble)
Uwe Egly (TU Wien)
Moreno Falaschi (Univ. Udine)
Burkhard Freitag (Univ. Passau)
Thom Fruehwirth (LMU Muenchen)
Norbert E. Fuchs (Univ. Zuerich)
Ulrich Geske (GMD-FIRST Berlin)
Michael Hanus (CAU Kiel)
Herbert Kuchen (Univ. Muenster)
Juan Jose Moreno Navarro (UP Madrid)
Mario Rodriguez-Artalejo (UC Madrid)
Dietmar Seipel (Univ. Wuerzburg)