WFLP 2019: 27th International Workshop on Functional and (Constraint) Logic Programming

Beschreibung

Important Dates --- EXTENDED DEADLINES ---

Paper submission: June 24, 2019

Notification of acceptance: July 15, 2019

Camera-ready papers: August 5, 2019

Early registration: August 12, 2019

Online Registration: September 2, 2019

Workshop: September 9-13, 2019

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 27th International Workshop on Functional and (Constraint) Logic

Programming (WFLP 2019) will be held at the Brandenburgische

Technische Universität Cottbus Germany. Previous WFLP editions were

WFLP 2018 (Frankfurt am Main, Germany), 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 2019 will be part of DECLARE 2019 and hence be co-located

with INAP 2019 (International Conference on Applications

of Declarative Programming and Knowledge Management),

WLP 2019 (Workshop on (Constraint) Logic Programming), and

QPLogic 2019 (Quantum and Probability Logic).

Topics

The topics of interest cover all aspects of functional and 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, non-monotonic 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

* 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).