MARTIN-LUTHER-UNIVERSITÄT HALLE-WITTENBERG Workshop on Logic Programming
Institut für Informatik September 15-17, 2014
Prof. Dr. Stefan Brass Wittenberg, Germany

 

 

28th Workshop on (Constraint) Logic Programming (WLP 2014)

Call for Papers

 

------------------------------------------------------------------------------
             Second CALL FOR PAPERS


      28th Workshop on Logic Programming
                  (WLP 2014)

   http://dbs.informatik.uni-halle.de/wlp14/

      Wittenberg, Germany, September 15-17, 2014

   *** Due to several requests, the submission deadline was ***
   ***        extended to July 10.                          ***

------------------------------------------------------------------------------


The workshops on (constraint) logic programming serve as the scientific forum
of the annual meeting of the Society of Logic Programming (GLP, "Gesellschaft
fuer Logische Programmierung e.V."). They bring together researchers interested
in logic programming, constraint programming, and related areas like databases,
artificial intelligence, and operations research. Previous workshops have been
held in Germany, Austria, Switzerland, and Egypt.

Contributions are welcome on all theoretical, experimental, and
application aspects of logic programming (LP) and constraint
programming (CP), including, but not limited to the following areas:

 * foundations of constraint/logic programming
 * constraint solving and optimization
 * extensions: functional logic programming, objects
 * deductive databases, data mining
 * nonmonotonic reasoning
 * dynamics, updates, states, transactions
 * interaction of LP/CP with other formalisms like agents, XML, JAVA
 * program analysis, program transformation, program verification,
   meta programming
 * parallelism and concurrency
 * answer-set programming
 * implementation techniques
 * software techniques and programming support (e.g., types,
   modularity, design patterns, debugging, testing,
   systematic program development).
 * applications of logic programming;
 * Reasoning on the Semantic Web.

The primary focus is on new and original research results but
submissions describing innovative products, prototypes under
development, interesting experiments (e.g., benchmarks) or ongoing
scientific work are also encouraged.

The workshop is held together with the
23rd International Workshop on Functional and (Constraint) Logic Programming
(WFLP 2014), see
    http://www.imn.htwk-leipzig.de/WFLP2014/
It will be a joint workshop with separate tracks.


Submission
==========
Authors are invited to submit an extended abstract (no longer than 15
pages including figures and references) or a system description (no
longer than 6 pages) in PDF or Postscript format (11pt) before
July 10, 2014 via EasyChair

http://www.easychair.org/conferences/?conf=wflp2014
The track (WLP or WFLP) must be selected for the submission.

All submissions must be written in English. Authors are encouraged
to use LaTeX2e and the Springer llncs class file, available at
http://www.springer.de/comp/lncs/authors.html

All submissions must be unpublished original work. However, Work
that already appeared in unpublished or informally published workshops
proceedings may be submitted, too.

All accepted papers will be published in a technical report
and made available electronically.
The possibility of post-conference proceedings together with WFLP
are currently being discussed.


Important Dates
===============
Submission of papers:                July 10, 2014
Notification of acceptance:          August 04, 2014
Camera-ready papers:                 September 01, 2014
Early-Registration Deadline:         August 15, 2014
Workshop:                            September 15-17, 2014


Program committee (WLP Track)
=============================
Andreas Behrend   - Univ. Bonn
Christoph Beierle - Univ. Hagen
Stefan Brass      - Univ. Halle
Francois Bry      - LMU Muenchen
Juergen Dix       - TU Clausthal
Thom Fruehwirth   - Univ. Ulm
Michael Hanus     - Univ. Kiel
Petra Hofstedt    - BTU Cottbus
Michael Leuschel  - Univ. Duesseldorf
Rainer Manthey    - Univ. Bonn
Dietmar Seipel    - Univ. Wuerzburg
Sibylle Schwarz   - HTWK Leipzig
Hans Tompits      - TU Wien
Armin Wolf        - Fraunhofer FOKUS



Programm Chairs
===============
Prof. Dr. Stefan Brass (WLP Track)
    University of Halle
    Institut f. Informatik
    Von-Seckendorff-Platz 1
    D-06099 Halle (Saale)
    EMAIL: brass@informatik.uni-halle.de
    HTTP: http://users.informatik.uni-halle.de/~brass/

Prof. Dr. Johannes Waldmann (WFLP Track)
    HTWK Leipzig
    F-IMN
    Postfach 301166
    D-04251 Leipzig
    HTTP: http://www.imn.htwk-leipzig.de/~waldmann/

 


Stefan Brass (brass@informatik.uni-halle.de), June 27, 2014

Original URL: http://dbs.informatik.uni-halle.de/wlp14/cfp.html   [XHTML 1.0 Checked]   [CSS Checked]   [Links checked]   [About]