Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.ise.gmu.edu/cp99/
Description:
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, and 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, and
symbolic computation. We also solicit papers from any domain
employing constraints, including computational linguistics,
configuration, decision support, design, diagnosis, graphics,
hardware verification, molecular biology, planning, qualitative
reasoning, real-time systems, resource allocation, robotics,
scheduling, software engineering, temporal reasoning, vision,
visualization, and user interfaces. Papers that bridge disciplines or
combine theory and practice are especially welcome.
Speakers: Krzysztof R. Apt (CWI and University of Amsterdam): The Rough Guide to Constraint Propagation
Date received: October 09, 1999
© 2008 Atlas Conferences Inc.