WFLP 2018: Call for Papers

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

WFLP 2018: Call for Papers

Salvador Tamarit

=========================================================

                                   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



_______________________________________________
erlang-questions mailing list
[hidden email]
http://erlang.org/mailman/listinfo/erlang-questions