CP97

Third International Conference on

Principles and Practice of

Constraint Programming

Schloss Hagenberg, Austria

October 29 - November 1, 1997



  • 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).

  • Proceedings

  • 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)
    Bruno.Buchberger@risc.uni-linz.ac.at
    Program Chair:
    Gert Smolka (DFKI and Universität des Saarlandes)
    smolka@ps.uni-sb.de

    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)
    podelski@mpi-sb.mpg.de

    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
    Last modified: Fri Oct 3 12:56:09 MET DST 1997