[curry] WFLP 2020 CFP (Workshop on Functional and Constraint Logic Programming)

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Mon, 4 May 2020 09:17:13 +0200

WFLP 2020: Call for Papers

28th International Workshop on Functional and (Constraint) Logic

## Due to the coronavirus pandemic, the workshop will be organized by
## the University of Bologna, but it will be held entirely on-line.

Bologna, Italy, September 7th, 2020
(part of Bologna Federated Conference on Programming Languages 2020;
co-located with PPDP, LOPSTR, Microservices)

Important Dates

Paper Registration: June, 29th
Submission: July, 06th
Notification of Authors: July, 27th
Camera-ready Papers: August, 24th
Conference & Workshops: September 7th, 2020

WFLP 2020

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 28th International Workshop on Functional and (Constraint) Logic
Programming (WFLP 2020) will be organized by the University of Bologna,
Italy, as part of Bologna Federated Conference on Programming Languages
2020 and it will be held entirely on-line due to the coronavirus

Previous WFLP editions were WFLP 2019 (Cottbus, Germany), 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,


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
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
be submitted (please contact the PC chair in case of questions).

Submission Guidelines

Submission is via Easychair submission website for WFLP 2020:

Authors are invited to submit papers in the following categories:

+ Regular research paper
+ Work-in-progress report
+ System description

Regular research papers must describe original work, be written and
presented in English, and must not substantially overlap with papers
that have been formally published or that are simultaneously submitted
to a journal, conference, or workshop with formal proceedings. They
be judged on the basis of significance, relevance, correctness,
originality, and clarity. For work-in-progress reports and system
descriptions, less formal rules apply, and presentation-only
(talk and discussion, but no paper in the formal proceedings) are
possible. Please contact the PC chair with any questions.

All submissions must be formatted in the Lecture Notes in Computer
Science style. Submissions cannot exceed 15 pages including references
but excluding well-marked appendices not intended for publication.
Reviewers are not required to read the appendices, and thus papers
be intelligible without them. However, all submissions (especially
work-in-progress reports and system descriptions) may be considerably
shorter than 15 pages.


All papers accepted for presentation at the conference will be
in informal proceedings publicly available at the Computing Research
Repository. According to the program committee reviews, submissions can
directly accepted for publication in the formal post-conference
The formal post-conference proceedings will be published in both
and paper formats by Springer in the Lecture Notes in Computer Science
After the conference, all authors accepted only for presentation will
invited to revise and/or extend their submissions in the light of the
solicited at the conference. Then, after another round of reviewing,
revised papers may also be published in the formal proceedings.

Therefore, all accepted papers will be published in open-access, and
authors can also decide to publish their work in the Springer LNCS

Program Committee

Sergio Antoy (Portland State University, USA)
Demis Ballis (University of Udine, Italy)
Moreno Falaschi (Università di Siena, Italy)
Michael Hanus (University of Kiel, Germany) (Co-Chair)
Herbert Kuchen (University of Muenster, Germany)
Dale Miller (INRIA and LIX/Ècole Polytechnique)
Claudio Sacerdoti Coen (University of Bologna, Italy) (Co-Chair)
Konstantinos Sagonas (Uppsala University, Sweden)
Enrico Tassi (INRIA, France)
Janis Voigtländer (University of Duisburg-Essen, Germany)
Johannes Waldmann (HTWK Leipzig, Germany)

Organizing Committee

Claudio Sacerdoti Coen (University of Bologna, Italy) (Co-Chair)

curry mailing list -- curry_at_lists.rwth-aachen.de
To unsubscribe send an email to curry-leave_at_lists.rwth-aachen.de
Received on Mo Mai 04 2020 - 09:25:14 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:14 CEST