Call for Papers: WFLP/WLP 2013

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Mon, 25 Mar 2013 15:12:04 +0100 (CET)

======================================================================
                           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

           http://www-ps.informatik.uni-kiel.de/wflp2013/
            
======================================================================

GENERAL

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.

----------------------------------------------------------------------
TOPICS

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.

----------------------------------------------------------------------
IMPORTANT DATES

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

----------------------------------------------------------------------
SUBMISSION GUIDELINES

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
significant.

----------------------------------------------------------------------
BEST NEWCOMER AWARD
 
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.

----------------------------------------------------------------------
PROCEEDINGS

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

----------------------------------------------------------------------
PROGRAM COMMITTEE

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

----------------------------------------------------------------------
CONTACT

Michael Hanus
University of Kiel, Germany
Email: mh_at_informatik.uni-kiel.de

----------------------------------------------------------------------
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mo Mär 25 2013 - 15:13:36 CET

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:11 CET