WFLP 2013 - WFLP 2013 : 2013 International Workshop on Functional and (Constraint) Logic Programming

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: June 16, 2013
Notification of acceptance: July 18, 2013
Camera-ready papers: August 18, 2013
Workshop: September 11-13, 2013