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)
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
09月13日
2016
09月14日
2016
摘要截稿日期
初稿截稿日期
终稿截稿日期
注册截止日期
留言