<div dir="ltr"><div>=========================================================</div><div>              WFLP 2018: Second Call for Papers</div><div>=========================================================</div><div><br></div><div>                      26th International Workshop on</div><div>        Functional and (constraint) Logic Programming</div><div>                                  WFLP 2018</div><div><br></div><div>     <a href="http://ppdp-lopstr-18.cs.uni-frankfurt.de/wflp18.html">http://ppdp-lopstr-18.cs.uni-frankfurt.de/wflp18.html</a></div><div><br></div><div>              Frankfurt, Germany, September 6, 2018</div><div>        (co-located with PPDP 2018 and LOPSTR 2018)</div><div><br></div><div><br></div><div>Important Dates</div><div><br></div><div> Abstract submission:     June 27, 2018</div><div> Paper submission:        July 2, 2018</div><div> Notification:            July 27, 2018</div><div> Camera-ready:            August 24, 2018</div><div> Workshop:                September 6, 2018</div><div><br></div><div><br></div><div>WFLP 2018</div><div><br></div><div>The international Workshop on Functional and (constraint) Logic</div><div>Programming (WFLP) aims at bringing together researchers, students, and</div><div>practitioners interested in functional programming, logic programming,</div><div>and their integration. WFLP has a reputation for being a lively and</div><div>friendly forum, and it is open for presenting and discussing work in</div><div>progress, technical contributions, experience reports, experiments,</div><div>reviews, and system descriptions.</div><div><br></div><div>The 26th International Workshop on Functional and (constraint) Logic</div><div>Programming (WFLP 2018) will be held at the Goethe-University Frankfurt</div><div>am Main, Germany. Previous WFLP editions were WFLP 2017 (Würzburg, Germany),</div><div>WFLP 2016 (Leipzig, Germany), WFLP 2014 (Wittenberg, Germany), WFLP 2013</div><div>(Kiel, Germany), WFLP 2012 (Nagoya, Japan), WFLP 2011 (Odense, Denmark),</div><div>WFLP 2010 (Madrid, Spain), WFLP 2009 (Brasilia, Brazil), WFLP 2008 (Siena,</div><div>Italy), WFLP 2007 (Paris, France), WFLP 2006 (Madrid, Spain), WCFLP</div><div>2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003</div><div>(Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany),</div><div>WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad</div><div>Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg,</div><div>Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg,</div><div>Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe,</div><div>Germany).</div><div><br></div><div>WFLP 2018 will be co-located with PPDP 2018 (International Symposium on</div><div>Principles and Practice of Declarative Programming) and LOPSTR 2018</div><div>(International Symposium on Logic-Based Program Synthesis and</div><div>Transformation.</div><div><br></div><div><br></div><div>Topics</div><div><br></div><div>The topics of interest cover all aspects of functional and logic</div><div>programming. They include (but are not limited to):</div><div><br></div><div> * Functional programming</div><div> * Logic programming</div><div> * Constraint programming</div><div> * Deductive databases, data mining</div><div> * Extensions of declarative languages, objects</div><div> * Multi-paradigm declarative programming</div><div> * Foundations, semantics, non-monotonic reasoning, dynamics</div><div> * Parallelism, concurrency</div><div> * Program analysis, abstract interpretation</div><div> * program and model manipulation</div><div> * Program transformation, partial evaluation, meta-programming</div><div> * Specification, verification</div><div> * Debugging, testing</div><div> * Knowledge representation, machine learning</div><div> * Interaction of declarative programming with other formalisms</div><div> * Implementation of declarative languages</div><div> * Advanced programming environments and tools</div><div> * Software techniques for declarative programming</div><div> * Applications</div><div><br></div><div>The primary focus is on new and original research results, but</div><div>submissions describing innovative products, prototypes under development,</div><div>application systems, or interesting experiments (e.g., benchmarks) are</div><div>also encouraged. Survey papers that present some aspects of the above</div><div>topics from a new perspective, and experience reports are also welcome.</div><div><br></div><div>Papers must be written and presented in English. Work that already</div><div>appeared in unpublished or informally published workshop proceedings may</div><div>be submitted (please contact the PC chair in case of questions).</div><div><br></div><div><br></div><div>Submission Guidelines</div><div><br></div><div>Submission is via Easychair submission website for WFLP 2018:</div><div><a href="https://easychair.org/conferences/?conf=wflp2018">https://easychair.org/conferences/?conf=wflp2018</a></div><div><br></div><div>Authors are invited to submit papers in the following categories:</div><div><br></div><div>+ Regular research paper</div><div>+ Work-in-progress report</div><div>+ System description</div><div><br></div><div>Regular research papers must describe original work, be written and</div><div>presented in English, and must not substantially overlap with papers</div><div>that have been formally published or that are simultaneously submitted</div><div>to a journal, conference, or workshop with formal proceedings. They will</div><div>be judged on the basis of significance, relevance, correctness,</div><div>originality, and clarity. For work-in-progress reports and system</div><div>descriptions, less formal rules apply, and presentation-only submissions</div><div>(talk and discussion, but no paper in the formal proceedings) are</div><div>possible. Please contact the PC chair with any questions.</div><div><br></div><div>All submissions must be formatted in the Lecture Notes in Computer</div><div>Science style. Submissions cannot exceed 15 pages including references</div><div>but excluding well-marked appendices not intended for publication.</div><div>Reviewers are not required to read the appendices, and thus papers should</div><div>be intelligible without them. However, all submissions (especially</div><div>work-in-progress reports and system descriptions) may be considerably</div><div>shorter than 15 pages.</div><div><br></div><div><br></div><div>Proceedings</div><div><br></div><div>All papers accepted for presentation at the conference will be published</div><div>in informal proceedings publicly available at the Computing Research</div><div>Repository. According to the program committee reviews, submissions can be</div><div>directly accepted for publication in the formal post-conference proceedings.</div><div>The formal post-conference proceedings will be published in both electronic</div><div>and paper formats by Springer in the Lecture Notes in Computer Science</div><div>series.</div><div>After the conference, all authors accepted only for presentation will be</div><div>invited to revise and/or extend their submissions in the light of the</div><div>feedback</div><div>solicited at the conference. Then, after another round of reviewing, these</div><div>revised papers may also be published in the formal proceedings.</div><div><br></div><div>Therefore, all accepted papers will be published in open-access, and the</div><div>authors can also decide to publish their work in the Springer LNCS formal</div><div>proceedings.</div><div><br></div><div><br></div><div>Program Committee</div><div><br></div><div>+ Slim Abdennadher, German University in Cairo, Egypt</div><div>+ Maria Alpuente, Universitat Politècnica de València, Spain</div><div>+ Sergio Antoy, Portland State University, USA</div><div>+ Olaf Chitil, University of Kent, UK</div><div>+ Maria del Mar Gallardo, Universidad de Málaga, Spain</div><div>+ Michael Hanus, University of Kiel, Germany</div><div>+ Herbert Kuchen, University of Münster, Germany</div><div>+ Kostis Sagonas, Uppsala University, Sweden</div><div>+ Tom Schrijvers, Katholieke Universiteit Leuven, Belgium</div><div>+ Sibylle Schwarz, HTWK Leipzig, Germany</div><div>+ Martina Seidl, Johannes Kepler University Linz, Austria</div><div>+ Dietmar Seipel, University of Würzburg, Germany</div><div>+ Josep Silva, Universitat Politècnica de València, Spain     (Program</div><div>Chair)</div><div>+ Salvador Tamarit, Universidad Politécnica de Madrid, Spain</div><div>+ Janis Voigtländer, University of Duisburg-Essen, Germany</div><div>+ Johannes Waldmann, HTWK Leipzig, Germany</div><div><br></div><div>Organizing Committee</div><div><br></div><div>    David Sabel (General Chair), Computer Science Institute</div><div>    Goethe-University Frankfurt am Main, Germany</div><div><br></div></div>