We apologize if you receive multiple copies of this announcement. ======================================================================
CALL FOR PAPERS
WCFLP 2005 International Workshop on Curry and Functional Logic Programming
An ACM SIGPLAN sponsored workshop at ICFP 2005
Tallinn, Estonia September 29, 2005
WWW: http://www.informatik.uni-kiel.de/~mh/wcflp2005
======================================================================
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 relevant 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.
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).
---------------------------------------------------------------------- TOPICS
WCFLP 2005 solicits papers in all areas of functional and (constraint) logic programming, including (but not limited to):
* Language Design: modules and type systems, multi-paradigm languages, concurrency and distribution, objects * Foundations: formal semantics, rewriting and narrowing, type theory * Implementation: abstract machines, parallelism, compile-time and run-time optimizations, interfacing with external languages * Transformation and Analysis: abstract interpretation, specialization, partial evaluation, program transformation, meta-programming * Software Engineering: design patterns, specification, verification and validation, debugging, test generation, programming pearls * Integration of Paradigms: integration of declarative programming with other paradigms such as imperative, object-oriented, concurrent, and real-time programming * Applications: declarative programming in education and industry, domain-specific languages, visual/graphical user interfaces, embedded systems, WWW applications, knowledge representation and machine learning, deductive databases, advanced programming environments and tools
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.
---------------------------------------------------------------------- PUBLICATION
Abstracts of workshop papers will be published in ACM SIGPLAN Notices. Full workshop proceedings will be published by ACM's printing vendor and in ACM's Digital Library under the usual copyright policy. It is intended to publish a special issue of the best papers after the workshop.
---------------------------------------------------------------------- IMPORTANT DATES
Deadline for submissions: June 5, 2005 Notification of acceptance: June 30, 2005 Camera-ready papers: July 12, 2005 Workshop: September 29, 2005
---------------------------------------------------------------------- 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. Muenster) John W. Lloyd (Australian National University ) Francisco J. Lopez-Fraguas (UC Madrid) Wolfgang Lux (Univ. Muenster) Julio Marino (UP Madrid) Peter Thiemann (Univ. Freiburg) German Vidal (UP Valencia)
---------------------------------------------------------------------- PROGRAM CO-CHAIRS
Sergio Antoy Michael Hanus Portland State University Institut fuer Informatik Dept. of Computer Science CAU Kiel P.O. Box 751 Olshausenstr. 40 Portland, OR 97207-0751 D-24098 Kiel USA Germany
Phone: +1 (503) 725-4036 Phone: +49-431-880-7271 Fax: +1 (503) 725-3211 Fax: +49-431/880-7613 email: antoy@cs.pdx.edu email: mh@informatik.uni-kiel.de
---------------------------------------------------------------------- SUBMISSION
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 (http://www.acm.org/sigs/pubs/proceed/template.html). 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.
Further details about the procedure to submit papers electronically are available at the workshop's web page at http://www.informatik.uni-kiel.de/~mh/wcflp2005
----------------------------------------------------------------------