Workshop on Curry and Functional Logic Programming (WCFLP 2005)
Tallinn, Estonia
September 29, 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):
- 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 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.
|
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.
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)
You can view or download the Call for Papers as
plain text.
Last modified: Fri Oct 7 13:55:40 CEST 2005