WFLP 2013 is the combination of two workshops of a successful series
of annual workshops on declarative programming. The international
workshops on functional and logic programming aim at bringing
together researchers interested in functional programming, logic
programming, as well as their integration. The workshops on
(constraint) logic programming serve as the scientific forum of 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, artificial
intelligence, and operations research.

In this year both workshops will be jointly organized and co-located
with the 20th International Conference on Applications of Declarative
Programming and Knowledge Management (INAP 2013) under the umbrella of
the Kiel Declarative Programming Days in order to promote the
cross-fertilizing exchange of ideas and experiences among researchers
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.

The primary focus is on new and original research results but
submissions describing innovative products, prototypes under
development, application systems, or interesting experiments (e.g.,
benchmarks) are also encouraged.

----------------------------------------------------------------------
IMPORTANT DATES

Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).

Papers can be submitted as technical papers or system descriptions.
Technical papers should consist of up to 15 pages, system descriptions
should be no longer than 6 pages. Formatting should follow the LNCS
guidelines. The details about the procedure to submit papers
electronically are described on the conference website.

Submitted papers will be judged on the basis of significance,
relevance, correctness, originality, and clarity. They should include
a clear identification of what has been accomplished and why it is
significant.

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 as a
"Student paper" in the submission.

All accepted papers will be published as a technical report.
As for previous events, it is planned to publish selected papers as
post-conference proceedings in the Springer LNCS series. Previous
proceedings appeared as Springer LNCS volumes 6816 (WFLP 2011), 6559
(WFLP 2010), 5979 (WFLP 2009), 5437 (WLP 2007), and 3392 (WLP 2004).

----------------------------------------------------------------------
PROGRAM COMMITTEE