Third International Conference on
Principles and Practice of
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.
- Yves Caseau: ``Using Constraint Propagation for Complex Scheduling Problems: Managing
Size, Complex Resources and Travel''
- Laurent Michel and Jean-Francois Puget: ``Interval methods for non linear constraints''
- Leszek Pacholski and Andreas Podelski: ``Set Constraints''
Workshops on October 27-28, preceding the Conference
- Joint workshop: annual workshop of the CompulogNet, area "Constraint Programming", and the second meeting of the ERCIM working group on Constraints
- COTIC 97 CP97 Workshop on Concurrent Constraint Programming for Time Critical Applications
- FTP97 International Workshop on First-Order Theorem Proving
CP97 Workshops on November 1, the last day of the Conference
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.
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
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 Chair:
- Bruno Buchberger (RISC)
- Program Chair:
- Gert Smolka (DFKI and Universität des Saarlandes)
- 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)
- 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)