WFLP 2001 Logo

comprising the

10th International Workshop on Functional and Logic Programming


16th Workshop on Logic Programming

Kiel, Germany
September 13-15, 2001

General | Topics | Dates | Proceedings | Program committee | Local organizers | Location | Contact
Programme | Registration and accommodation | Participants
Special issue of selected papers in ENTCS



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. The technical program of the workshop will include invited talks, presentations of refereed papers and demo presentations.

Previous WFLP editions: WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany).

Previous WLP editions: WLP 2000 (Berlin, Germany), WLP'99 (Würzburg, Germany), WLP'98 (Vienna, Austria), WLP'97 (Munich, Germany), WLP'95 (Vienna, Austria), ...


The topics of interest include (but are not limited to): The primary focus is on new and original research results but submissions describing innovative products, prototypes under development or interesting experiments (e.g., benchmarks) are also encouraged.

 Important dates

Submission of papers: May 22, 2001
Notification of acceptance: June 20, 2001
Camera-ready papers: July 15, 2001
Workshop: September 13 - 15, 2001


Authors are invited to submit an extended abstract (no longer than 10 pages including figures and references) or a system description (no longer than 3 pages) in postscript format (11pt) before May 22, 2001. Submissions should include the title, authors' names, affiliations, addresses, and e-mail. The details about the procedure to submit papers electronically are described here. If you have any problems with submitting papers, please send an email to

Best newcomer award

An award will be given to the best paper exclusively written by one or several young researchers who have not yet obtained their PhD degrees. Papers written in this category should be clearly marked "Student papers" in the submission.


The technical programme of the workshop includes presentations of the accepted papers, system demos, and

Invited talks by

Peter Van Roy (Catholic University of Louvain)
Thomas Arts (Ericsson)

 Program committee

Slim Abdennadher (LMU München)
María Alpuente (UP Valencia)
Sergio Antoy (Portland State University)
Christoph Beierle (FernUniv. Hagen)
Alexander Bockmayr (Univ. Henri Poincaré, Nancy)
Harold Boley (DFKI Kaiserslautern)
François Bry (LMU München)
Jürgen Dix (Univ. Manchester)
Rachid Echahed (IMAG, Grenoble)
Uwe Egly (TU Wien)
Moreno Falaschi (Univ. Udine)
Burkhard Freitag (Univ. Passau)
Thom Frühwirth (LMU München)
Norbert E. Fuchs (Univ. Zürich)
Ulrich Geske (GMD-FIRST Berlin)
Michael Hanus (CAU Kiel, chair)
Herbert Kuchen (Univ. Muenster)
Juan José Moreno Navarro (UP Madrid)
Mario Rodríguez-Artalejo (UC Madrid)
Dietmar Seipel (Univ. Würzburg)

 Local organizing committee

Wolfgang Goerigk
Michael Hanus
Klaus Höppner
Ulrike Pollakowski-Geuther
Friedemann Simon
Frank Steiner


WFLP 2001 will take place at the Christian-Albrechts-University of Kiel (in the "Hörsaal C3(-Klein) / Physiologisches Institut / Hermann-Rodewald-Str. 5"; look here for a university map where the location is shown).

University of Kiel

Details about accommodation are available via the WFLP 2001 registration page. Note that you must reserve the accommodation before July 15!


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

 Call for Papers

You can view or download the Call for Papers as:
plain text
DVI file
Postscript file
PDF file

Michael Hanus
Last modified: Wed May 4 10:17:57 PDT 2005