WLP 2012: Call for Short Papers (DL August 31)

From: behrend <behrend_at_iai.uni-bonn.de>
Date: Tue, 21 Aug 2012 17:00:58 +0200

Apologies for possible multiple posts

============================
CALL FOR SHORT PAPERS
============================
26th Workshop on Logic Programming (WLP 2012)
Bonn, Germany, September 24-26, 2012
http://wlp.iai.uni-bonn.de/


Important Dates
===============
Submission of papers: August 31, 2012
Notification of acceptance: September 02, 2012
Camera-ready papers: September 09, 2012
Early-Registration Deadline: September 09, 2012

Motivation
===============
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 constraint programming (CP) and logic
programming (LP), 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 CP/LP 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;
  * CP/LP for 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.


Submission
==========
Authors are invited to submit an extended abstract or a system
description (no longer than 6 pages) in PDF or Postscript format (11pt)
via EasyChair

http://www.easychair.org/conferences/?conf=wlp2012

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
as LNI proceedings and indexed by DBLP.


Program committee
=================
Slim Abdennadher - GUC
Andreas Behrend - Univ. Bonn
Christoph Beierle - FernUniv. Hagen
Francois Bry - LMU Munich
Juergen Dix - TU Clausthal
Wolfgang Faber - Univ. of Calabria
Michael Fink - TU Wien
Michael Hanus - CAU Kiel
Petra Hofstedt - TU Cottbus
Steffen Hölldobler - TU Dresden
Tomi Janhunen - Aalto University
Ulrich John - SIR Dr. John UG
Gabriele Kern-Isberner - TU Dortmund
Alessandra Mileo - DERI Galway
Torsten Schaub - Univ. Potsdam
Jan Sefranek - Comenius University
Dietmar Seipel - Univ. Wuerzburg
Hans Tompits - TU Wien
Janis Voigtländer - Univ. Bonn
Marina De Vos - Univ. of Bath

Programm Chair
==============
PD Dr. Andreas Behrend
Intelligent Database Group
Institute of Computer Science III
University of Bonn
Römerstr. 164
D-53117 Bonn

EMail: behrend_at_cs.uni-bonn.de
HTTP: http://idb.informatik.uni-bonn.de/team/scientists
-- 
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 Tue Aug 21 2012 - 17:11:55 CEST

This archive was generated by hypermail 2.3.0 : Sun Dec 16 2018 - 07:16:01 CET