CFP: WFLP 2013

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

part of the Kiel Declarative Programming Days 2013

September 11-13, 2013, Kiel, Germany

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 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.

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

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).

Elvira Albert               Universidad Complutense de Madrid, Spain
Sergio Antoy                Portland State University, USA
Francois Bry                University of Munich, Germany
Juergen Dix                 University of Clausthal, Germany
Rachid Echahed              CNRS, University of Grenoble, France
Moreno Falaschi             Universita di Siena, Italy
Sebastian Fischer           Kiel, Germany
Thom Fruehwirth             University of Ulm, Germany
Michael Hanus               University of Kiel, Germany (Chair)
Oleg Kiselyov               Monterey (CA), USA
Herbert Kuchen              University of Muenster, Germany
Francisco J. Lopez Fraguas  Universidad Complutense de Madrid, Spain
Torsten Schaub              University of Potsdam, Germany
Peter Schneider-Kamp        University of Southern Denmark, Denmark
Dietmar Seipel              University of Wuerzburg, Germany
Hans Tompits                Vienna University of Technology, Austria
German Vidal                Universidad Politecnica de Valencia, Spain
Janis Voigtlaender          University of Bonn, Germany

Michael Hanus, University of Kiel, Germany, Email: [email protected]