Workshop on Curry and Functional Logic Programming (WCFLP 2005)

Tallinn, Estonia
September 29, 2005

An ACM SIGPLAN sponsored workshop at ICFP 2005.

General | Topics | Dates | Proceedings (ACM) | Programme | Program committee | Contact | Call for Papers
Pictures from the workshop


The integration of functional and logic programming has been extensively studied during the last years. The declarative multi-paradigm language Curry is one of the important results of this work since it combines in a seamless way the most important features of functional, logic, and concurrent programming. The development of Curry is an international initiative intended to provide a common platform for the research, teaching, and application of integrated functional logic languages. Various implementations of Curry are available and they have been used in a number of different applications.

The aim of this workshop is to bring together researchers interested in Curry, related functional logic languages, and general aspects of integrating declarative programming paradigms. It promotes 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.

Previous workshops: WCFLP 2005 includes the annual Workshop on Functional and Logic Programming (WFLP). Previous WFLP editions were: WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), 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).


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 (preliminary)

Submission of papers: June 5, 2005
Notification of acceptance: June 30, 2005
Camera-ready papers: July 12, 2005
Workshop: September 29, 2005


Authors are invited to submit an extended abstract (no longer than 8 pages including figures and references) or a system description (no longer than 3 pages) in PDF or Postscript format. Submissions should include the title, authors' names, affiliations, addresses, and e-mail. All submissions must be written in English. Authors are strongly encouraged to use LaTeX2e and the ACM Proceedings Format (which will also be the final format of the proceedings). All submissions must be original work. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. More details about the procedure to submit papers electronically can be found here.


Abstracts of workshop papers will be published in ACM SIGPLAN Notices. Full workshop proceedings will be published in ACM's Digital Library under the usual copyright policy. Formatting instruction can be found here.
 Program committee

Sergio Antoy (Portland State University, co-chair)
Olaf Chitil (University of Kent)
Rachid Echahed (IMAG, Grenoble)
Moreno Falaschi (University of Siena)
Michael Hanus (CAU Kiel, co-chair)
Frank Huch (CAU Kiel)
Tetsuo Ida (University of Tsukuba)
Herbert Kuchen (Univ. Münster)
John W. Lloyd (Australian National University )
Francisco J. López-Fraguas (UC Madrid)
Wolfgang Lux (Univ. Münster)
Julio Mariño (UP Madrid)
Peter Thiemann (Univ. Freiburg)
German Vidal (UP Valencia)


Sergio Antoy Michael Hanus
Portland State University
Dept. of Computer Science
P.O. Box 751
Portland, OR 97207-0751, USA

Phone: +1 (503) 725-4036
Fax: +1 (503) 725-3211
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.

Last modified: Fri Oct 7 13:55:40 CEST 2005