[TYPES/announce] WFLP 2013: First CfP

Janis Voigtländer jv at informatik.uni-bonn.de
Tue Mar 26 02:09:53 EDT 2013

                            CALL FOR PAPERS

                               WFLP 2013
22nd International Workshop on Functional and (Constraint) Logic Programming
              27th Workshop on Logic Programming

         part of the Kiel Declarative Programming Days 2013

                   September 11-13, 2013, Kiel, Germany




WFLP 2013 is the combination of two workshops of a successful series
of annual workshops on declarative programming. The international
workshops on functional and logic programming aim at bringing
together researchers interested in functional programming, logic
programming, as well as their integration. The workshops on
(constraint) logic programming serve as the scientific forum of the
annual meeting of the Society of Logic Programming (GLP e.V.) and
bring together researchers interested in logic programming, constraint
programming, and related areas like databases, artificial
intelligence, and operations research.

In this year both workshops will be jointly organized and co-located
with the 20th International Conference on Applications of Declarative
Programming and Knowledge Management (INAP 2013) under the umbrella of
the Kiel Declarative Programming Days in order to promote the
cross-fertilizing exchange of ideas and experiences among researchers
and students from the different communities interested in the
foundations, applications, and combinations of high-level, declarative
programming languages and related areas.  The technical program of the
workshop will include invited talks, presentations of refereed papers
and demo presentations.


The topics of interest 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, nonmonotonic reasoning, dynamics
* Parallelism, concurrency
* Program analysis, abstract interpretation
* Program transformation, partial evaluation, meta-programming
* Specification, verification, declarative debugging
* Knowledge representation, machine learning
* Interaction of declarative programming with other formalisms
   (e.g., agents, XML, Java)
* Implementation of declarative languages
* Advanced programming environments and tools
* Software technique 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.


Submission of papers:       June 16, 2013
Notification of acceptance: July 18, 2013
Camera-ready papers:        August 18, 2013
Workshop:                   September 11-13, 2013


Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).

Papers can be submitted as technical papers or system descriptions.
Technical papers should consist of up to 15 pages, system descriptions
should be no longer than 6 pages.  Formatting should follow the LNCS
guidelines.  The details about the procedure to submit papers
electronically are described on the conference website.

Submitted papers will be judged on the basis of significance,
relevance, correctness, originality, and clarity. They should include
a clear identification of what has been accomplished and why it is


An award will be given to the best paper exclusively written by one or
several young researchers who have not yet obtained their PhD degrees.
Papers written in this category should be clearly marked as a
*Student paper* in the submission.


All accepted papers will be published as a technical report.
As for previous events, it is planned to publish selected papers as
post-conference proceedings in the Springer LNCS series.  Previous
proceedings appeared as Springer LNCS volumes 6816 (WFLP 2011), 6559
(WFLP 2010), 5979 (WFLP 2009), 5437 (WLP 2007), and 3392 (WLP 2004).


Elvira Albert               Universidad Complutense de Madrid, Spain
Sergio Antoy                Portland State University, USA
Francois Bry                University of Munich, Germany
Juergen Dix                 University of Clausthal, Germany
Rachid Echahed              CNRS, University of Grenoble, France
Moreno Falaschi             Universita di Siena, Italy
Sebastian Fischer           Kiel, Germany
Thom Fruehwirth             University of Ulm, Germany
Michael Hanus               University of Kiel, Germany (Chair)
Oleg Kiselyov               Monterey (CA), USA
Herbert Kuchen              University of Muenster, Germany
Francisco J. Lopez Fraguas  Universidad Complutense de Madrid, Spain
Torsten Schaub              University of Potsdam, Germany
Peter Schneider-Kamp        University of Southern Denmark, Denmark
Dietmar Seipel              University of Wuerzburg, Germany
Hans Tompits                Vienna University of Technology, Austria
German Vidal                Universidad Politecnica de Valencia, Spain
Janis Voigtlaender          University of Bonn, Germany


Michael Hanus
University of Kiel, Germany
Email: mh at informatik.uni-kiel.de


More information about the Types-announce mailing list