WFLP 2014

23rd International Workshop on Functional and (Constraint) Logic Programming

colocated with 28th Workshop on (Constraint) Logic Programming (WLP 2014)

September 15 - 17, at Leucorea conference center in Lutherstadt Wittenberg, Germany.


General

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, 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.

The joint workshop will consist of two tracks (WFLP and WLP). Sessions of these two tracks will be interleaved.

Previous WFLP editions: 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).


Preliminary Program and Registration


Important Dates

  • submission opens: June 1, 2014 (Easychair)
  • submission closes: July 10, 2014
  • notification: August 4, 2014
  • early registration deadline: August 26, 2014
  • final version due: September 1, 2014
  • workshop: September 15 - 17, 2014

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.


Program Committee (WFLP track)

Organising Committee


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 as technical papers or system descriptions. Technical papers should consist of up to 15 pages, system descriptions should be no longer than 6 pages.

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.

Submissions should indicate to which track (WFLP, WLP) the paper is submitted.

Authors should use the llncs.cls class file (and remember to switch on page numbers).


Best Newcomer Award (to be confirmed)


Proceedings (to be confirmed)

All accepted papers will be published as a technical report and made available electronically at the workshop. As for previous events, it is planned to publish selected papers as post-conference proceedings.


Registration, Travel

Details will be announced in due time.


Johannes Waldmann | Fakultät IMN | HTWK Leipzig