<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<h1 style="font-family: georgia,'times new
roman',serif;line-height:100%">WFLP 2019 - Submission Deadline
extended</h1>
27th International Workshop on Functional and (Constraint) Logic
Programming<br>
<br>
Cottbus, Germany, September 9-13, 2019<br>
(part of Declare 2019; co-located with INAP, WLP, and QPLogic:
<a class="moz-txt-link-abbreviated" href="http://www.declare19.de">www.declare19.de</a>)<br>
<br>
Important Dates --- EXTENDED DEADLINES ---<br>
<br>
Paper submission: June 24, 2019<br>
Notification of acceptance: July 15, 2019<br>
Camera-ready papers: August 5, 2019<br>
Early registration: August 12, 2019<br>
Online Registration: September 2, 2019<br>
Workshop: September 9-13, 2019<br>
<br>
The international Workshop on Functional and (constraint) Logic<br>
Programming (WFLP) aims at bringing together researchers, students,
and<br>
practitioners interested in functional programming, logic
programming,<br>
and their integration. WFLP has a reputation for being a lively and<br>
friendly forum, and it is open for presenting and discussing work in<br>
progress, technical contributions, experience reports, experiments,<br>
reviews, and system descriptions.<br>
<br>
The 27th International Workshop on Functional and (Constraint) Logic<br>
Programming (WFLP 2019) will be held at the Brandenburgische<br>
Technische Universität Cottbus Germany. Previous WFLP editions were<br>
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).<br>
<br>
WFLP 2019 will be part of DECLARE 2019 and hence be co-located<br>
with INAP 2019 (International Conference on Applications<br>
of Declarative Programming and Knowledge Management),<br>
WLP 2019 (Workshop on (Constraint) Logic Programming), and<br>
QPLogic 2019 (Quantum and Probability Logic).<br>
<br>
Topics<br>
<br>
The topics of interest cover all aspects of functional and logic<br>
programming. They include (but are not limited to):<br>
<br>
* Functional programming<br>
* Logic programming<br>
* Constraint programming<br>
* Deductive databases, data mining<br>
* Extensions of declarative languages, objects<br>
* Multi-paradigm declarative programming<br>
* Foundations, semantics, non-monotonic reasoning, dynamics<br>
* Parallelism, concurrency<br>
* Program analysis, abstract interpretation<br>
* Program and model manipulation<br>
* Program transformation, partial evaluation, meta-programming<br>
* Specification,<br>
* Verification<br>
* Debugging<br>
* Testing<br>
* Knowledge representation, machine learning<br>
* Interaction of declarative programming with other formalisms<br>
* Implementation of declarative languages<br>
* Advanced programming environments and tools<br>
* Software techniques for declarative programming<br>
* Applications<br>
<br>
The primary focus is on new and original research results, but<br>
submissions describing innovative products, prototypes under
development,<br>
application systems, or interesting experiments (e.g., benchmarks)
are<br>
also encouraged. Survey papers that present some aspects of the
above<br>
topics from a new perspective, and experience reports are also
welcome.<br>
<br>
Papers must be written and presented in English. Work that already<br>
appeared in unpublished or informally published workshop proceedings
may<br>
be submitted (please contact the PC chair in case of questions).<br>
<br>
Submission Guidelines<br>
<br>
Submission is via Easychair submission website for WFLP 2019:<br>
<a class="moz-txt-link-freetext" href="https://easychair.org/conferences/?conf=wflp2019">https://easychair.org/conferences/?conf=wflp2019</a><br>
<br>
Authors are invited to submit papers in the following categories:<br>
<br>
+ Regular research paper<br>
+ Work-in-progress report<br>
+ System description<br>
<br>
Regular research papers must describe original work, be written and<br>
presented in English, and must not substantially overlap with papers<br>
that have been formally published or that are simultaneously
submitted<br>
to a journal, conference, or workshop with formal proceedings. They
will<br>
be judged on the basis of significance, relevance, correctness,<br>
originality, and clarity. For work-in-progress reports and system<br>
descriptions, less formal rules apply, and presentation-only
submissions<br>
(talk and discussion, but no paper in the formal proceedings) are<br>
possible. Please contact the PC chair with any questions.<br>
<br>
All submissions must be formatted in the Lecture Notes in Computer<br>
Science style. Submissions cannot exceed 15 pages including
references<br>
but excluding well-marked appendices not intended for publication.<br>
Reviewers are not required to read the appendices, and thus papers
should<br>
be intelligible without them. However, all submissions (especially<br>
work-in-progress reports and system descriptions) may be
considerably<br>
shorter than 15 pages.<br>
<br>
Proceedings<br>
<br>
All papers accepted for presentation at the conference will be
published<br>
in informal proceedings publicly available at the Computing Research<br>
Repository. According to the program committee reviews, submissions
can be<br>
directly accepted for publication in the formal post-conference
proceedings.<br>
The formal post-conference proceedings will be published in both
electronic<br>
and paper formats by Springer in the Lecture Notes in Computer
Science series. After the conference, all authors accepted only for
presentation will be<br>
invited to revise and/or extend their submissions in the light of
the feedback<br>
solicited at the conference. Then, after another round of reviewing,
these<br>
revised papers may also be published in the formal proceedings.<br>
Therefore, all accepted papers will be published in open-access, and
the<br>
authors can also decide to publish their work in the Springer LNCS
formal<br>
proceedings.<br>
<br>
Program Committee<br>
<br>
Maria Alpuente Frasnedo, Universitat Politècnica de València, Spain<br>
Sergio Antoy, Portland State University, USA<br>
Olaf Chitil, University of Kent, UK<br>
Sandra Dylus, University of Kiel, Germany<br>
Moreno Falaschi, U. Siena, Italy<br>
Michael Hanus, University of Kiel, Germany<br>
Herbert Kuchen, University of Münster, Germany (Chair)<br>
Julio Mariño Carballo, Universidad Politécnica de Madrid, Spain<br>
Manuel Montenegro Montes, Universidad Complutense de Madrid, Spain<br>
Kostis Sagonas, Uppsala University, Sweden<br>
Sibylle Schwarz, HTWK Leipzig, Germany<br>
Dietmar Seipel, University of Würzburg, Germany<br>
Josep Silva Galiana, Universitat Politècnica de València, Spain<br>
Johannes Waldmann, HTWK Leipzig, Germany<br>
<br>
Organizing Committee<br>
Petra Hofstedt (General Chair),<br>
Sven Löffler, Katrin Ebert,<br>
Brandenburg University of Technology, Cottbus, Germany<br>
<br>
</body>
</html>