CP'95
First International Conference on Principles and Practice of
Constraint Programming
Cassis, France, September 19-22, 1995


Sponsorship

CP'95 was held in cooperation with AAAI and EATCS, was sponsored by ACM SIGART and SIGPLAN, and received support from ACCLAIM, ALP, CCL, CNRS, Compulog Net, ONR, the Université de la Méditerranée and the Università di Pisa.

Proceedings

Ugo Montanari, Francesca Rossi (eds.), Proceedings of the First International Conference on Principles and Practice of Constraint Programming, Springer-Verlag, Lecture Notes in Computer Science No. 976.

A special issue of Theoretical Computer Science is planned dedicated to the conference.

Conference Organization

Conference Chair:
Alain Colmerauer

Program Chair:
Ugo Montanari

Organizing Committee:
Alan Borning, Jacques Cohen, Alain Colmerauer, Eugene Freuder, Herve Gallaire, Jean-Pierre Jouannaud, Paris Kanellakis, Jean-Louis Lassez (chair), Ugo Montanari, Anil Nerode, Vijay Saraswat, Ralph Wachter

Program Committee:
Hassan Ait-Kaci, Marianne Baudinet, Frederic Benhamou, Rina Dechter, Mehmet Dincbas, Manuel Hermenegildo, Alexander Herold, Hoon Hong, John Hooker, Claude Kirchner, Alan Mackworth, Michael Maher, Ken McAloon, Fumio Mizoguchi, Luis Monteiro, Catuscia Palamidessi, Gert Smolka, Peter van Beek, Pascal Van Hentenryck

Satellite Workshops

Four satellite workshops were organized at the same place as the conference:

W1. "Over-Constrained Systems"
Organizers: Gene Freuder, Michael Jampel and Michael Maher
Contact: Michael Jampel (jampel@cs.city.ac.uk)

W2. "Constraints for Graphics and Visualization"
Organizers: Pascal Van Hentenryck, Isabel Cruz and Kim Marriott
Contact: Pascal Van Hentenryck (pvh@cs.brown.edu)

W3. "Set Constraints and Constrained Logic Programming"
Organizers: Leszek Pacholski
Contact: Leszek Pacholski (leszek.pacholski@ii.uni.wroc.pl)

W4. "Studying and Solving Really Hard Problems"
Program Chairs: Pierre Siegel and Bart Selman
Local Organizers: Jihad Jaam and Philippe Jegou
Contact: Jihad Jaam (jihad.jaam@lim.univ-mrs.fr)