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)

September 15-17, 2014 (Wittenberg)

 

The Workshops on (Constraint) Logic Programming are the annual meeting of the German Society of Logic Programming (GLP) and bring together researchers interested in logic programming, constraint programming, answer set programming, and related areas like databases and artificial intelligence (not only from Germany). Previous workshops have been held in Germany, Austria, Switzerland and Egypt. The workshops provide a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems. The technical program of the workshop will include invited talks, presentations of refereed papers, and system demonstrations.

The 2014 workshop took place September, 15th to 17th (Monday to Wednesday) in the Leucorea in Wittenberg. It was be a joint workshop (separate tracks) with the 23rd International Workshop on Functional and (Constraint) Logic Programming.

 

Important Files:

 

Important Dates:

 

Topics:

Contributions are welcome on all theoretical, experimental, and application aspects of logic programming (LP) and constraint programming (CP), including nonmonotonic reasoning, program analysis, program transformation, program verification, meta programming, answer-set programming and many more (for a more comprehensive list, see Topics).

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.

 

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 1 via EasyChair (https://www.easychair.org/conferences/?conf=wflp2014).

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. Submissions will be thoroughly reviewed by the program committee listed here. The accepted papers will be published as a technical report and will also be made available in the CoRR Computing Research Repository. Further options, e.g. for possible post conference proceedings together with WFLP are still being discussed.

 


Stefan Brass (brass@informatik.uni-halle.de), August 7, 2014

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