WFLP 2017

25th International Workshop on Functional and Logic Programming

31st Workshop on (Constraint) Logic Programming

September 19-22, 2017

collocated with INAP 2017 and part of Declare 2017 - Conference on Declarative Programming

General

WFLP 2017 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 collocated with the 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2017) and the Summer School on Advanced Concepts for Databases and Logic Programming under the umbrella of the Declare 2017 - Conference on Declarative Programming 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 2016 (Leipzig, Germany), WFLP 2014 (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'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 2016 (Leipzig, Germany), WLP 2015 (Dresden, Germany), WLP 2014 (Wittenberg, Germany), WLP 2013 (Kiel, Germany), 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 abstracts: July 05, 2017
Submission of papers: July 08, 2017
Notification of acceptance: July 24, 2017
Camera-ready papers: August 04, 2017
Conference/Workshop: September 19-22, 2017

Submission Guidelines

Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions).

Papers can be submitted in the following categories:

  • technical papers
  • system descriptions

Technical papers should consist of up to 15 pages, system descriptions should be no longer than 8 pages (including references). Formatting should follow the LNCS guidelines which are available here, along with formatting templates and style files.

Authors should submit an electronic copy of the full paper in PDF. Papers should be submitted via the submission website for WFLP 2017.

Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant.

Proceedings

All accepted papers will be published in a technical report. As for previous events, selected papers will be published as a volume in the Springer LNAI series.

Proceedings of previous events appeared as Springer LNCS volumes 8439 (WFLP 2013), 6816 (WFLP 2011), 6559 (WFLP 2010), 5979 (WFLP 2009), 5437 (WLP 2007), and 3392 (WLP 2004).

Program committee

Slim Abdennadher German University in Cairo, Egypt
Sergio Antoy Portland State University, USA
Olaf Chitil University of Kent, UK
Jürgen DixClausthal University of Technology, Germany
Moreno Falaschi Università di Siena, Italy
Michael Hanus University of Kiel, Germany (Chair)
Sebastiaan Joosten University of Innsbruck, Austria
Oleg Kiselyov Tohoku University, Japan
Herbert Kuchen University of Münster, Germany
Sibylle Schwarz HTWK Leipzig, Germany
Dietmar Seipel University of Würzburg, Germany
Tom Schrijvers KU Leuven, Belgium
Martin Sulzmann Karlsruhe University of Applied Sciences, Germany
Hans Tompits Vienna University of Technology, Austria
German Vidal Universitat Politècnica de València, Spain
Janis Voigtländer University of Duisburg-Essen, Germany
Johannes Waldmann HTWK Leipzig, Germany

Local Organization

Dietmar Seipel, University of Würzburg, Germany
Falco Nogatz, University of Würzburg, Germany
Mirco Lukas, University of Würzburg, Germany