Call for Papers: WFLP/WLP 2017

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Mon, 22 May 2017 13:55:02 +0200 (CEST)

==========================
==========================
====================
                           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

           http://www-ps.informatik.uni-kiel.de/wflp2017/
            =

==========================
==========================
====================

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

----------------------------------------------------------------------
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 papers: June 24, 2017
Notification of acceptance: July 14, 2017
Camera-ready papers: August 1, 2017
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 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
significant.

----------------------------------------------------------------------
PROCEEDINGS

All accepted papers will be published as a technical report.
As for previous events, it is planned to publish selected papers as
post-conference proceedings in the Springer LNCS 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).

----------------------------------------------------------------------
PROGRAM COMMITTEE

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)
Sebastian Joosten University of Innsbruck, Austria
Oleg Kiselyov Tohoku University, Japan
Herbert Kuchen University of Muenster, 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

----------------------------------------------------------------------
CONTACT

Michael Hanus
University of Kiel, Germany
Email: mh_at_informatik.uni-kiel.de

----------------------------------------------------------------------
_______________________________________________
curry mailing list
curry_at_lists.rwth-aachen.de
https://mailman.rwth-aachen.de/mailman/listinfo/curry
Received on Mo Mai 22 2017 - 13:56:09 CEST

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:12 CET