The Coq mailing list

[wlp06 AT kr.tuwien.ac.at]

                          Call for Participation

-----------------------------------------------------------------------------
                                 WLP 2006

                            20th Workshop on
                            Logic Programming

                          February 22 - 24, 2006
                  Vienna University of Technology, Austria
       
            ***Early Registration Deadline: February 3, 2006***

                     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.


WORKSHOP PROGRAM
================

The technical program of WLP 2006 comprises two invited talks, two tutorials,
18 research papers, and two system descriptions. The list of all accepted 
papers can be found at

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


INVITED TALKS
=============

Reinhard Pichler (Vienna University of Technology, Austria)
Torsten Schaub (University of Potsdam, Germany)


TUTORIALS
=========

Two tutorials will be held during the workshop by:

Ulrich Geske (Fraunhofer-Gesellschaft, Germany)
Armin Wolf (Fraunhofer-Gesellschaft, Germany)


REGISTRATION AND ACCOMMODATION
==============================

Information on how to register to the workshop and about organizing your trip 
to Vienna (accommodation, travel information, etc.) can be found at the 
workshop homepage:

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


IMPORTANT DATES
===============

Early Registration Deadline       February 3, 2006
Workshop                          February 22-24, 2006


LOCAL ORGANIZATION
==================

Michael Fink
Hans Tompits (Chair)
Stefan Woltran


CONTACT
=======

Hans Tompits
Knowledge-Based Systems Group E184/3
Institute of Information Systems
Vienna University of Technology

Favoritenstrasse 9-11
A-1040 Vienna
Austria

Email: 
wlp06 AT kr.tuwien.ac.at


WORKSHOP HOMEPAGE
=================

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