************************** * Call for Participation * ************************** WFLP 2001 International Workshop on Functional and (Constraint) Logic Programming http://www.informatik.uni-kiel.de/~wflp2001 comprising the 10th International Workshop on Functional and Logic Programming and 16th Workshop on Logic Programming Kiel, Germany September 13-15, 2001 Early Registration and Hotel Reservation Deadline: July 15, 2001 ====================================================================== GENERAL 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. ---------------------------------------------------------------------- REGISTRATION Information concerning registration and accommodation can be found at the workshop web page at http://www.informatik.uni-kiel.de/~wflp2001 Note that the EARLY REGISTRATION AND HOTEL ACCOMMODATION DEADLINE is July 15th, 2001. ---------------------------------------------------------------------- TECHNICAL PROGRAM The technical program includes: INVITED TALKS by Peter Van Roy (Catholic University of Louvain) Thomas Arts (Ericsson) ACCEPTED PAPERS: 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 SYSTEM DEMONSTRATIONS: 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 ---------------------------------------------------------------------- CONTACT 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 Email: wflp2001@informatik.uni-kiel.de ---------------------------------------------------------------------- PROGRAM COMMITTEE 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) ----------------------------------------------------------------------