24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016)

September 13–14, 2016, part of the Leipzig Week of Declarative Programming (L-DEC) 2016


Location, Registration, Travel


An invited talk will be given by Anthony Anjorin, on the topic of Declarative Model Transformations with Triple Graph Grammars.


Talk Schedule and Pre-Proceedings with electronic versions of papers (and slides)


General

The international workshops on functional and (constraint) logic programming aim at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration.

This year the workshop is co-located with WLP 2016 and Haskell in Leipzig 2016 in order to promote the cross-fertilizing exchange of ideas and experiences among and between the communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas.

Previous WFLP editions were held as: WFLP 2014 (Lutherstadt Wittenberg, Germany), WFLP 2013 (Kiel, Germany), 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 1999 (Grenoble, France), WFLP 1998 (Bad Honnef, Germany), WFLP 1997 (Schwarzenberg, Germany), WFLP 1996 (Marburg, Germany), WFLP 1995 (Schwarzenberg, Germany), WFLP 1994 (Schwarzenberg, Germany), WFLP 1993 (Rattenberg, Germany), WFLP 1992 (Karlsruhe, Germany)


Call for Papers


Important Dates

  • abstract submission: June 22, 2016 (extended)
  • paper submission: June 29, 2016 (extended)
  • notification: July 15, 2016
  • camera-ready (workshop) version due: August 10, 2016
  • workshop: September 13–14, 2016

For papers not accepted to the formal EPTCS proceedings right away, there will be a second round of reviewing after revision. See below, in the section about the proceedings.


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


Program Committee


Submission Details

Submission is via EasyChair.

Authors are invited to submit papers in the following categories:

  • regular research paper
  • work-in-progress report
  • system description

Submissions should use the EPTCS's macro package for LaTeX, see here. The length limit is 15 pages, but especially work-in-progress reports and system descriptions may be considerably shorter.

Regular research papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been formally published or that are simultaneously submitted to a journal, conference, or workshop with formal proceedings. They will be judged on the basis of significance, relevance, correctness, originality, and clarity. For work-in-progress reports and system descriptions, less formal rules apply, and presentation-only submissions (talk and discussion, but no paper in the formal proceedings) are possible. Please contact the PC chair with any questions.


Proceedings

Electronic versions of accepted papers will be made available before the workshop. The formal proceedings will be published in EPTCS, jointly with WLP 2016. Regular research submissions and system descriptions can be directly accepted for publication in the formal proceedings, or initially accepted only for presentation at the workshop and invited to be revised for another round of reviewing before the formal proceedings are finalized. Accepted work-in-progress reports will also be invited to be revised and/or extended, targeting the formal proceedings as well.


Janis Voigtländer