posted by system || 2465 views || tracked by 3 users: [display]

WLP 2012 : 26th Workshop on Logic Programming

FacebookTwitterLinkedInGoogle

Link: http://wlp.iai.uni-bonn.de
 
When Sep 24, 2012 - Sep 26, 2012
Where Bonn, Germany
Submission Deadline Aug 5, 2012
Categories    logic
 

Call For Papers

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

26th Workshop on Logic Programming
(WLP 2012)

http://wlp.iai.uni-bonn.de/

Bonn, Germany, September 24-26, 2012

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


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 (no longer than 10
pages including figures and references) or a system description (no
longer than 3 pages) in PDF or Postscript format (11pt) before August
05, 2012 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
in a technical report.


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


Program committee
=================
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
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@cs.uni-bonn.de
HTTP: http://idb.informatik.uni-bonn.de/team/scientists

Related Resources

LPNMR 2024   17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)
CONCUR 2024   International Conference on Concurrency Theory
ICLP 2024   International Conference on Logic Programming
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
PPDP 2024   The 26th International Symposium on Principles and Practice of Declarative Programming
SAT 2024   The 27th International Conference on Theory and Applications of Satisfiability Testing
LPAR 2024   International Conference on Logic for Programming, Artificial Intelligence and Reasoning
LPNMR 2024 - Call for Workshops 2024   17th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2024 - Call for Workshops
IJFLS 2024   International Journal of Fuzzy Logic Systems
CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research