The 26th International Workshop on
Functional and Logic Programming

WFLP 2018

Frankfurt am Main, Germany, 6 September 2018

Overview of WFLP 2018


The international Workshop on Functional and (constraint) Logic Programming (WFLP) aims at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. WFLP has a reputation for being a lively and friendly forum, and it is open for presenting and discussing work in progress, technical contributions, experience reports, experiments, reviews, and system descriptions.

The 26th International Workshop on Functional and (constraint) Logic Programming (WFLP 2018) will be held at the Goethe-University Frankfurt am Main, Germany. Previous WFLP editions were WFLP 2017 (Würzburg, Germany), 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).

WFLP 2018 will be co-located with PPDP 2018 (International Symposium on Principles and Practice of Declarative Programming) and LOPSTR 2018 (International Symposium on Logic-Based Program Synthesis and Transformation.

The topics of interest cover all aspects of functional ang logic programming. They 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 and model manipulation
  • Program transformation, partial evaluation, meta-programming
  • Specification, verification
  • Debugging, testing
  • 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 techniques 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. Survey papers that present some aspects of the above topics from a new perspective, and experience reports are also welcome.

Papers must be written and presented in English. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions).

Program Committee


  • Josep Silva, Universitat Politècnica de València, Spain  (Program Chair)

Important Dates


Abstract submission: to be announced
Paper/Extended abstract submission: to be announced
Notification: to be announced
Camera-ready (for electronic pre-proceedings): to be announced
Workshop: September 6, 2018

Call for Papers


The Call for Papers can be viewed or downloaded as

Submission Guidelines


Submission is via Easychair submission website for WFLP 2018.

Authors are invited to submit papers in the following categories:

  • regular research paper
  • work-in-progress report
  • system description

Regular research papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been formally published or that are simultaneously submitted to a journal, conference, or workshop with formal proceedings. They will be judged on the basis of significance, relevance, correctness, originality, and clarity. For work-in-progress reports and system descriptions, less formal rules apply, and presentation-only submissions (talk and discussion, but no paper in the formal proceedings) are possible. Please contact the PC chair with any questions.

The formating guidelines for submitted papers will be announced soon.

Proceedings


Publication details will be announced soon.

Contact


Program Chair

Josep Silva
Universitat Politècnica de València
Email:

Local Organiser

David Sabel
Computer Science Institute
Goethe-University Frankfurt am Main
Email: