[TYPES/announce] WFLP 2016 - Deadline Extension

Janis Voigtlaender jv at informatik.uni-bonn.de
Fri Jun 17 04:07:38 EDT 2016


24th International Workshop on
Functional and (Constraint) Logic Programming (WFLP 2016)

https://wflp2016.github.io/

September 13-14, part of the
Leipzig Week of Declarative Programming (L-DEC 2016)

The deadlines have been extended by a week, but are nearing soon.

We will have proceedings published by EPTCS (http://www.eptcs.org/).

Both full technical papers and less formal work-in-progress reports
are welcome, as are system descriptions. More details below and on
the web page.

***********************************************************

Deadlines:

* abstract submission: June 22, 2016 (extended)
* paper submission: June 29, 2016 (extended)
* notification: July 15, 2016
* camera-ready (workshop) version due: August 10, 2016

Submissions can be directly accepted for publication in the formal
EPTCS proceedings, or accepted for presentation at the workshop and
invited to another round of reviewing after revision.

***********************************************************

The international workshops on functional and (constraint) logic
programming aim at bringing together researchers, students, and
practitioners interested in functional programming, logic programming,
and their integration. This year the workshop is co-located with two
other events as part of http://nfa.imn.htwk-leipzig.de/LDEC2016/
in order to promote the cross-fertilizing exchange of ideas and
experiences among and between the communities interested in the
foundations, applications, and combinations of high-level,
declarative programming languages and related areas.

Topics of interest for WFLP 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
* Implementation of declarative languages
* Advanced programming environments and tools
* Software engineering 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.

There are separate submission categories for work-in-progress reports
and system descriptions. Authors are welcome to indicate that they
want to present their work in a talk but not include a paper in the
formal proceedings.

Submission is via EasyChair at
https://easychair.org/conferences/?conf=wflp2016

The formal proceedings are prepared jointly with WLP 2016 and will be
published in EPTCS: http://www.eptcs.org/

More details about submission format, LaTeX style etc., can be found
on the web page: https://wflp2016.github.io/

***********************************************************

Program Committee:

* Slim Abdennadher, German University in Cairo, Egypt
* Sergio Antoy, Portland State University, USA
* Sebastian Fischer, Freelancer, Germany
* Francisco J. Lopez Fraguas, Universidad Complutense de Madrid, Spain
* Michael Hanus, University of Kiel, Germany
* Sebastiaan Joosten, University of Innsbruck, Austria
* Kazutaka Matsuda, Tohoku University, Japan
* Martin Sulzmann, Karlsruhe University of Applied Sciences, Germany
* Janis Voigtlaender (Chair), University of Bonn, Germany


More information about the Types-announce mailing list