Logic List Mailing Archive

International Workshop on Algorithmic Topics in Constraint Programming

8 July 2007
Wroclaw, Poland

International Workshop on
        Algorithmic Topics in Constraint Programming

                http://atcp07.cs.brown.edu/

     An Affiliated Workshop of ICALP 2007 and LICS 2007

               CALL FOR PAPERS AND TUTORIALS


SCOPE

Constraint programming (CP) technology has proved very successful in solving 
hard combinatorial optimization problems. While its origins are in Logic 
Programming, CP research today is a truly inter-disciplinary field that 
incorporates elements of Artificial Intelligence, Operations Research, 
Programming Languages and Theoretical Computer Science. In particular, 
interesting algorithmic issues arise in CP, such as domain representations, 
filtering algorithms, global constraints, search algorithms, tractability 
classes, and variable ordering.

The aim of this workshop is to bring the algorithmic aspects of CP research to 
the awareness and attention of algorithms researchers, thereby facilitating the 
interaction and cross-fertilization between the CP and algorithms communities.

PARTICIPATION

Presentations of two types are solicited:

A research paper should report on recent advances in a subject related to the 
workshop. Authors should aim to make the presentation accessible to a general 
computer science public. A research paper will be allocated 25-30 minutes.

A tutorial should provide a comprehensive exposition of a subject related to 
the workshop. It should be self-contained and accessible to a general computer 
science public. For example, a tutorial can describe how a certain algorithmic 
technique was applied to solve problems arising in CP or outline a set of 
current algorithmic challenges in CP. A tutorial lecture will be allocated 
45-50 minutes.

IMPORTANT DATES

Submission: April 30 2007
Notification: May 21 2007
Pre-proceedings version due: June 11 2007
Workshop: July 8 2007

PUBLICATION

All presenting authors will be invited to submit an article (research paper or 
survey) corresponding to their presentation to the special issue of a journal.

In accordance with the aims of the workshop, its proceedings will be posted 
online, but not published. This is to allow authors to present papers that have 
recently appeared or will soon appear in the proceedings of other conferences.

PROGRAM COMMITTEE

Philippe Baptiste, Ecole Polytechnique, France
Nicolas Beliceanu, Ecole des Mines de Nantes, France
Gerth Brodal, Univ. of Aarhus, Denmark
Rina Dechter, Univ. of California - Irvine, US
Khaled Elbassioni, MPII, Germany
Alan Frieze, Carnegie Mellon University, US
Loukas Georgiadis, HP Labs, US
Giuseppe F. Italiano, Univ. of Rome "Tor Vergata", Italy (Co-chair)
Irit Katriel, Brown Univ., US (Co-Chair)
Gilles Pesant, Polytechnique Montreal, Canada
Jean-Charles Regin, ILOG, France
Francesca Rossi, Univ. of Padova, Italy
David B. Shmoys, Cornell, US
Peter van Beek, Univ. of Waterloo, Canada