=========================================================
�� �� �� �� �� �� �� �� �� �� �� �� �� �� �� ������ ��WFLP��2018: Call for Papers
=========================================================
�� �� �� �� �� �� �� �� �� �� �� �� �� �� �� �� ��26th International Workshop on
�� �� �� �� �� �� �� �� �� ��Functional and (constraint) Logic Programming
�� �� �� �� �� �� �� �� �� �� �� �� �� �� �� �� �� �� �� �� �� �� ��WFLP��2018
�� �� �� �� �� �� �� ����http://ppdp-lopstr-18.cs.uni-frankfurt.de/wflp18.html
�� �� �� �� �� �� �� �� �� �� �� �� ��Frankfurt, Germany, September 6, 2018
�� �� �� �� �� �� �� �� �� ��(co-located with PPDP 2018 and LOPSTR 2018)
Important Dates
��Abstract submission:�� �� ��June 27, 2018
��Paper submission:�� �� �� �� July 2, 2018
��Notification:�� �� �� �� �� �� �� �� �� ��July 27, 2018
��Camera-ready:�� �� �� �� �� �� �� August 24, 2018
��Workshop:�� �� �� �� �� �� �� �� �� �� ��September 6, 2018
WFLP��2018
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 26th International Workshop on Functional and (constraint) Logic
Programming (WFLP��2018) will be held at the Goethe-University Frankfurt
am Main, Germany. Previous��WFLP��editions were��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��2018 will be co-located with PPDP 2018 (International Symposium on
Principles and Practice of Declarative Programming) and LOPSTR 2018
(International Symposium on Logic-Based Program Synthesis and
Transformation.
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).
Submission Guidelines
Submission is via Easychair submission website for��WFLP��2018:
https://easychair.org/conferences/?conf=wflp2018
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 will
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 submissions
(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 should��
be intelligible without them. However, all submissions (especially��
work-in-progress reports and system descriptions) may be considerably��
shorter than 15 pages.
Proceedings
All papers accepted for presentation at the conference will be published��
in informal proceedings publicly available at the Computing Research��
Repository. According to the program committee reviews, submissions can be��
directly accepted for publication in the formal post-conference proceedings.
The formal post-conference proceedings will be published in both electronic��
and paper formats by Springer in the Lecture Notes in Computer Science series.
After the conference, all authors accepted only for presentation will be��
invited to revise and/or extend their submissions in the light of the feedback��
solicited at the conference. Then, after another round of reviewing, these��
revised papers may also be published in the formal proceedings.
Therefore, all accepted papers will be published in open-access, and the��
authors can also decide to publish their work in the Springer LNCS formal��
proceedings.
Program Committee
+ Slim Abdennadher, German University in Cairo, Egypt
+ Maria Alpuente, Universitat Polit��cnica de Val��ncia, Spain
+ Sergio Antoy, Portland State University, USA
+ Olaf Chitil, University of Kent, UK
+ Maria del Mar Gallardo, Universidad de M��laga, Spain
+ Michael Hanus, University of Kiel, Germany
+ Herbert Kuchen, University of M��nster, Germany
+ Kostis Sagonas, Uppsala University, Sweden
+ Tom Schrijvers, Katholieke Universiteit Leuven, Belgium
+ Sibylle Schwarz, HTWK Leipzig, Germany
+ Martina Seidl, Johannes Kepler University Linz, Austria
+ Dietmar Seipel, University of W��rzburg, Germany
+ Josep Silva, Universitat Polit��cnica de Val��ncia, Spain�� �� ��(Program Chair)
+ Salvador Tamarit, Universidad Polit��cnica de Madrid, Spain
+ Janis Voigtl��nder, University of Duisburg-Essen, Germany
+ Johannes Waldmann, HTWK Leipzig, Germany
Organizing Committee
�� �� David Sabel (General Chair), Computer Science Institute
�� �� Goethe-University Frankfurt am Main, Germany