Third International Conference on

Principles and Practice of

Constraint Programming

Schloss Hagenberg, Austria

October 29 - November 1, 1997


For registration, please fill out the registration form and the hotel reservation form. Early registration rate applies to registration by September 19, 1997. The hotel reserved for conference participants is the "Steigenberger MAXX" Hotel, located quietly next to the Danube river in Linz (No. 10 on Linz city map). For particular questions about local arrangements, please contact the CP97 Local Arrangements Chair Betina Curtis.

Travel from Vienna Airport

Every half hour (at xh10 and at xh40) a bus goes from Vienna Airport to the west station of Vienna (Wien Westbahnhof). From there a train leaves to Linz every hour. The train ride takes two hours. Fare: USD 22.


Workshops on October 27-28, preceding the Conference

CP97 Workshops on November 1, the last day of the Conference

Official Sponsors

Scope of the Conference

Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. The conference is concerned with all aspects of computing with constraints including: algorithms, applications, environments, languages, models, systems. Papers presented at the conference will come from one of the many disciplines concerned with constraints, including: artificial intelligence, combinatorial algorithms, computational logic, concurrent computation, databases, discrete mathematics, operations research, programming languages, symbolic computation. The conferences covers all domains employing constraints, including: computational linguistics, configuration, decision support, design, diagnosis, graphics, hardware verification, molecular biology, planning, program analysis, qualitative reasoning, real-time systems, resource allocation, robotics, scheduling, software engineering, temporal reasoning, type inference, vision, visualization, user interfaces. There will be many papers that bridge disciplines or combine theory and practice.

Conference Venue

CP97 will take place at Schloss Hagenberg, a medieval, renovated castle close to Linz, Austria, known as the site of the Research Institute for Symbolic Computation (RISC).


The proceedings will be published as Springer LNCS 1330; they will be available at the conference. The first pages of the proceedings also contain the table of contents.

Special Issue of Constraints Journal

Selected papers will be collected in a special issue of the CONSTRAINTS journal devoted to the conference.

Exhibition and Sponsors

Companies, publishers, agencies or organizations interested in exhibition space, or in becoming conference sponsors, should contact the Conference Chair. Researchers interested in providing computer demonstrations should contact the Program Chair.

Conference Organization

Conference Chair:
Bruno Buchberger (RISC)
Program Chair:
Gert Smolka (DFKI and Universität des Saarlandes)

Program Committee:
Franz Baader (RWTH Aachen)
Frédéric Benhamou (University of Orléans)
Alex Brodsky (George Mason University)
Yves Caseau (Bouygues)
Hoon Hong (RISC)
John Hooker (CMU)
Joxan Jaffar (National University of Singapore)
Claude Kirchner (INRIA Lorraine and CRIN)
Michael Maher (Griffith University)
Kim Marriott (Monash University)
Dave McAllester (AT&T Research)
Ken McAloon (Brooklyn College)
Bernhard Nebel (University of Freiburg)
Tobias Nipkow (TU München)
Martin Odersky (University of South Australia)
Catuscia Palamidessi (University of Genova)
Andreas Podelski (Max-Planck-Institut für Informatik)
Jean-Francois Puget (ILOG)
Francesca Rossi (University of Pisa)
Thomas Schiex (INRA)
Bart Selman (AT&T Research)
Gert Smolka (DFKI and Universität des Saarlandes)
Peter J. Stuckey (University of Melbourne)
Edward Tsang (University of Essex)
Peter van Beek (University of Alberta)
Mark Wallace (ICL/Imperial College)

Publicity and Workshop Chair:
Andreas Podelski (Max-Planck-Institut für Informatik)

Organizing Committee:
Alan Borning (University of Washington)
Alain Colmerauer (University of Marseille)
Eugene Freuder (University of New Hampshire)
Jean-Pierre Jouannaud (University of Paris Sud)
Jean-Louis Lassez (New Mexico Tech)
Ugo Montanari (University of Pisa)
Anil Nerode (Cornell University)
Vijay Saraswat (AT&T Research)
Pascal Van Hentenryck (Brown University)
Ralph Wachter (Office of Naval Research)

CP conference home page & previous CP conferences

Old links

Andreas Podelski