Call for paper 〔OPEN〕

My submissions

Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

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 paper

Important date

2016-06-22
Abstract submission deadline
2016-06-29
Draft paper submission deadline
2016-08-10
Final paper submission deadline

Submission Topics

  • 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

Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Conference Date

    Sep 13

    2016

    to

    Sep 14

    2016

  • Jun 22 2016

    Abstract Submission Deadline

  • Jun 29 2016

    Draft paper submission deadline

  • Aug 10 2016

    Final Paper Deadline

  • Sep 14 2016

    Registration deadline