2nd Call for Papers: WFLP/WLP 2017

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
Report Content as Inappropriate

2nd Call for Papers: WFLP/WLP 2017

Michael Hanus

* Proceedings with selected papers will be published by Springer
* Deadline for submissions extended to July 08, 2017

                           CALL FOR PAPERS

                              WFLP 2017
   25th International Workshop on Functional and Logic Programming
         31st Workshop on (Constraint) Logic Programming

     part of Declare 2017 - Conference on Declarative Programming

             September 19-22, 2017, Wuerzburg, Germany



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 conference on Declarative Programming (Declare 2017)
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


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.


Submission of abstracts:    July 05, 2017
Submission of papers:       July 08, 2017
Notification of acceptance: July 24, 2017
Camera-ready papers:        August 04, 2017
Workshop:                   September 19-22, 2017


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.  Formatting should follow the LNCS
guidelines.  The details about the procedure to submit papers
electronically are described on the conference website.

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


All accepted papers will be published as a technical report.
As for previous events, selected papers will be published as
a volume in the Springer LNAI series.  Previous
proceedings appeared as Springer LNCS volumes 8439 (WFLP 2013),
6816 (WFLP 2011), 6559 (WFLP 2010), 5979 (WFLP 2009), 5437 (WLP 2007),
and 3392 (WLP 2004).


Slim Abdennadher    German University in Cairo, Egypt
Sergio Antoy        Portland State University, USA
Olaf Chitil         University of Kent, UK
Juergen Dix         Clausthal University of Technology, Germany
Moreno Falaschi     Universita 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 Muenster, Germany
Sibylle Schwarz     HTWK Leipzig, Germany
Dietmar Seipel      University of Wuerzburg, Germany
Tom Schrijvers      KU Leuven, Belgium
Martin Sulzmann     Karlsruhe University of Applied Sciences, Germany
Hans Tompits        Vienna University of Technology, Austria
German Vidal        Universidad Politecnica de Valencia, Spain
Janis Voigtlaender  University of Duisburg-Essen, Germany
Johannes Waldmann   HTWK Leipzig, Germany


Michael Hanus
University of Kiel, Germany
Email: [hidden email]

Haskell mailing list
[hidden email]