WLP 2014: Workshop on (Constraint) Logic Programming

From: Stefan Brass <stefan.brass_at_informatik.uni-halle.de>
Date: Wed, 14 May 2014 10:13:04 +0200

------------------------------------------------------------------------------
              First CALL FOR PAPERS


       28th Workshop on Logic Programming
                   (WLP 2014)

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

       Wittenberg, Germany, September 15-17, 2014

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


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
01, 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 01, 2014
Notification of acceptance: August 01, 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_at_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/

-- 
You are receiving this message because you are a member of the
mailinglist 'glp-list_at_informatik.uni-kiel.de'.
To unsubscribe from (leave) this mailinglist, please go to this URL:
  https://lists.informatik.uni-kiel.de/mailman/listinfo/glp-list
Received on Mi Mai 14 2014 - 10:33:17 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:16:02 CEST