征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介

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)

征稿信息

重要日期

2016-06-22
摘要截稿日期
2016-06-29
初稿截稿日期
2016-08-10
终稿截稿日期

征稿范围

  • 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

  • 06月22日 2016

    摘要截稿日期

  • 06月29日 2016

    初稿截稿日期

  • 08月10日 2016

    终稿截稿日期

  • 09月14日 2016

    注册截止日期

移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询