Final Call for Papers

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

WLP 2006

20th Workshop on

Logic Programming

February 22 - 24, 2006

Vienna University of Technology, Austria

***Submission deadline: November 14, 2005***

http://www.kr.tuwien.ac.at/wlp06

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

THE WORKSHOP

============

The series of workshops on (constraint) logic programming serve as the

annual meeting of the Society of Logic Programming (GLP, Gesellschaft

fr Logische Programmierung e.V.) and bring together researchers interested

in logic programming, constraint programming, and related areas like

databases and artificial intelligence. Previous workshops have been held

in Germany, Austria and Switzerland. 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.

TOPICS

======

Contributions are welcome on all theoretical, experimental,

and application aspects of constraint and logic programming,

including, but not limited to the following areas (the order

does not reflect any priorities):

* Theoretical aspects:

o foundations of constraint programming (CP) and logic programming (LP);

o constraint solving and optimization;

o extensions: functional logic programming, objects;

o deductive databases, data mining;

o nonmonotonic reasoning;

o dynamics, updates, states, transactions;

o interaction of CP/LP with other formalisms like agents, XML, JAVA;

o program analysis, program transformation, program verification,

meta pogramming;

o parallelism and concurrency;

o rule-based systems;

o abductive and inductive logic programming;

o answer-set programming;

o complexity and expressive power.

* Implementation of systems:

o system descriptions, comparisons, evaluations;

o benchmarks;

o implementation techniques;

o software techniques (e.g., types, modularity, design patterns, debugging).

* Application of logic programming:

o logic programming in production, management, environment,

education, medicine, internet, etc.;

o CP/LP for Semantic Web applications and reasoning on the Semantic Web;

o data modelling for the Web, semistructured data, and Web query languages;

o knowledge representation and reasoning.

The primary focus is on new and original research results but

submissions describing innovative products, prototypes under

development, or interesting experiments (e.g., benchmarks) are

also encouraged.

IMPORTANT DATES

===============

Submission of papers: November 14, 2005

Notification of acceptance: December 19, 2005

Camera-ready papers: January 23, 2006

Workshop: February 22-24, 2006

SUBMISSION INSTRUCTIONS

=======================

Authors are invited to submit an extended abstract (no longer

than 10 pages including figures

1. CFP: 20th Workshop on Logic Programming - WLP 2006

2. 2nd CFP: 20th Workshop on Logic Programming - WLP 2006

3. Call for Participation: 20th Workshop on Logic Programming - WLP

4. CfP: 21st Workshop on Logic Programming - WLP 2007

5. CFP: International Workshop on Hybrid Logic 2006 (HyLo 2006)

6. [CFP] 2nd CFP: Workshop on Generic Programming 2006

7. CFP: DEON 2006, Eighth International Workshop on Deontic Logic in Computer Science

8. CFP: International Workshop on Hybrid Logic 2006

9. CFP: International Workshop on Hybrid Logic 2005 (HyLo 2006)

10. [RTSS-CFP] RTSS 2006 Workshop CFP (Deadline: October 15, 2006)

11. Final CFP: 7th Intl Workshop on Logic & Computational Complexity

12. Final CFP: 7th Intl Workshop on Logic & Computational Complexity

1 post • Page:**1** of **1**