WFLP 2013

22nd International Workshop on Functional and (Constraint) Logic Programming

27th Workshop on Logic Programming

September 11-13, 2013

colocated with INAP 2013 and part of the Kiel Declarative Programming Days 2013

General

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.

Previous WFLP editions: WFLP 2012 (Nagoya, Japan), WFLP 2011 (Odense, Denmark), WFLP 2010 (Madrid, Spain), WFLP 2009 (Brasilia, Brazil), WFLP 2008 (Siena, Italy), WFLP 2007 (Paris, France), WFLP 2006 (Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), 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).

Previous WLP editions: WLP 2012 (Bonn, Germany), WLP 2011 (Vienna, Austria), WLP 2010 (Cairo, Egypt), WLP 2009 (Potsdam, Germany), WLP 2008 (Dresden, Germany), WLP 2007 (Würzburg, Germany), WLP 2006 (Vienna, Austria), WLP 2005 (Ulm, Germany), WLP 2004 (Potsdam, Germany), WLP 2002 (Dresden, Germany), WLP 2001 (Kiel, Germany), WLP 2000 (Berlin, Germany), WLP'99 (Würzburg, Germany), WLP'98 (Vienna, Austria), WLP'97 (Munich, Germany), WLP'95 (Vienna, Austria), ...

Topics

The topics of interest include (but are not limited to):

  • Functional programming
  • Logic programming
  • Constraint programming
  • Deductive databases, data mining
  • Extensions of declarative languages, objects
  • Multi-paradigm declarative programming
  • Foundations, semantics, nonmonotonic reasoning, dynamics
  • Parallelism, concurrency
  • Program analysis, abstract interpretation
  • Program transformation, partial evaluation, meta-programming
  • Specification, verification, declarative debugging
  • Knowledge representation, machine learning
  • Interaction of declarative programming with other formalisms (e.g., agents, XML, Java)
  • Implementation of declarative languages
  • Advanced programming environments and tools
  • Software technique for declarative programming
  • Applications

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

Submission of papers: July 7, 2013
Notification of acceptance: July 28, 2013
Camera-ready papers: August 18, 2013
Workshop: September 11-13, 2013

Submission Guidelines

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 in the following categories:

  • technical papers
  • 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 which are available here, along with formatting templates and style files.

Authors should submit an electronic copy of the full paper in PDF. Papers should be submitted via the submission website for WFLP 2013.

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.

Best newcomer award

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.

Proceedings

All accepted papers have been published as a technical report (see here for the PDF of the report). As for previous events, selected papers will be formally published as post-conference proceedings in the Springer Lecture Notes in Computes Science 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

Elvira Albert Universidad Complutense de Madrid, Spain
Sergio Antoy Portland State University, USA
François Bry University of Munich, Germany
Jürgen DixClausthal University of Technology, Germany
Rachid Echahed CNRS, University of Grenoble, France
Moreno Falaschi Università di Siena, Italy
Sebastian Fischer Kiel, Germany
Thom Frühwirth University of Ulm, Germany
Michael Hanus University of Kiel, Germany (Chair)
Oleg Kiselyov Monterey (CA), USA
Herbert Kuchen University of Münster, Germany
Francisco Javier López Fraguas Universidad Complutense de Madrid, Spain
Torsten Schaub University of Potsdam, Germany
Peter Schneider-Kamp University of Southern Denmark, Denmark
Dietmar Seipel University of Würzburg, Germany
Hans Tompits Vienna University of Technology, Austria
German Vidal Universidad Politécnica de Valencia, Spain
Janis Voigtländer University of Bonn, Germany