[TYPES] CfP: Curry and Functional Logic Programming 2005

Michael Hanus mh at informatik.uni-kiel.de
Fri Mar 18 02:28:41 EST 2005


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 at cs.pdx.edu           email: mh at 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 will be announced at the workshop's web page at
http://www.informatik.uni-kiel.de/~mh/wcflp2005

----------------------------------------------------------------------


More information about the Types-list mailing list