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