posted by organizer: pscbcottbus || 3226 views || tracked by 2 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Workshop on Functional and Constraint Logic Programming
 
Link: https://www.declare19.de/
 
When Sep 9, 2019 - Sep 13, 2019
Where Cottbus, Germany
Submission Deadline Jun 24, 2019
Notification Due Jul 15, 2019
Final Version Due Aug 5, 2019
Categories    declarative programming   functional logic programming
 

Call For Papers

================================================================
WFLP 2019: Call for Papers -- Submission Deadline extended --
================================================================

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

Cottbus, Germany, September 9-13, 2019
(part of Declare 2019; co-located with INAP, WLP, and QPLogic)

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


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


Submission Guidelines

Submission is via Easychair submission website for WFLP 2019:
https://easychair.org/conferences/?conf=wflp2019

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

Maria Alpuente Frasnedo, Universitat Politècnica de València, Spain
Sergio Antoy, Portland State University, USA
Olaf Chitil, University of Kent, UK
Sandra Dylus, University of Kiel, Germany
Moreno Falaschi, U. Siena, Italy
Michael Hanus, University of Kiel, Germany
Herbert Kuchen, University of Münster, Germany (Chair)
Julio Mariño Carballo, Universidad Politécnica de Madrid, Spain
Manuel Montenegro Montes, Universidad Complutense de Madrid, Spain
Kostis Sagonas, Uppsala University, Sweden
Sibylle Schwarz, HTWK Leipzig, Germany
Dietmar Seipel, University of Würzburg, Germany
Josep Silva Galiana, Universitat Politècnica de València, Spain
Johannes Waldmann, HTWK Leipzig, Germany


Organizing Committee

Petra Hofstedt (General Chair),
Sven Löffler, Katrin Ebert,
Brandenburg University of Technology, Cottbus, Germany

Related Resources

PPDP 2024   The 26th International Symposium on Principles and Practice of Declarative Programming
FLOPS 2024   FLOPS 2024: 17th International Symposium on Functional and Logic Programming
LPNMR 2024   17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)
ICLP 2024   International Conference on Logic Programming
SAT 2024   The 27th International Conference on Theory and Applications of Satisfiability Testing
LPAR 2024   International Conference on Logic for Programming, Artificial Intelligence and Reasoning
LPNMR 2024 - Call for Workshops 2024   17th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2024 - Call for Workshops
IJFLS 2024   International Journal of Fuzzy Logic Systems
ICFP 2024   The 29th ACM SIGPLAN International Conference on Functional Programming
CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research