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.

Contributions are welcome from any discipline concerned with constraints, including: artificial intelligence, combinatorial algorithms, computational logic, concurrent computation, databases, discrete mathematics, operations research, programming languages, symbolic computation.

Contributions are welcome from any domain 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.

Papers are especially welcome 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).

Paper Submissions

The submission deadline is April 15, 1997. The page limit is 15 pages. Submission is by email (up to exceptions) according to our specific guidelines.

Decisions on acceptance will be sent by June 15, 1997. Some submissions not accepted as papers may be offered presentation as posters, with an extended abstract (2 pages) in the proceedings.

Publication

The proceedings will be published in the Springer LNCS series. Camera-ready copy will be due by July 15, 1997. The publication must not duplicate an earlier conference publication. Papers and posters must be presented at the conference by one of the authors. Authors of selected papers will be invited to submit revisions to a special issue of the CONSTRAINTS journal devoted to the conference.

Call for Tutorials

Several tutorials will be held during the conference. Proposals for two-hour tutorials should be sent to the Program Chair until May 15, 1997.

Call for Workshop Proposals

There will be workshops on the last day of the conference. Proposals for one-day or half-day workshops should be sent to the Workshop Chair as soon as possible but no later than May 15, 1997.

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 (TU Karlsruhe and 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)

Important Dates

April 15, 1997: Paper submission deadline
May 15, 1997: Submission of tutorial and workshop proposals
June 15, 1997: Acceptance notification
July 15, 1997: Camera-ready copy due
October 29-31, 1997: Main program of the conference
November 1, 1997: Workshops

Further Information

Additional information will be posted, and will be available at the CP97 web site: http://www.mpi-sb.mpg.de/conferences/CP97/.