Nov 26 - Dec 1, 2001 Paphos, Cyprus |
CP-2001 will be the seventh of the annual CP conference series. It will be held in conjuction with ICLP-2001, the 17th International Conference on Logic Programming. In addition to the Technical programme, we are pleased to announce two new additions: the Innovative Applications programme, and the Doctoral programme
The technical programme is concerned with all aspects of computing with constraints including: algorithms, applications, environments, languages, models, systems. Papers are solicited from any of the disciplines concerned with constraints, including: artificial intelligence, combinatorial algorithms, computational logic, concurrent computation, databases, discrete mathematics, operations research, programming languages, symbolic computation. Papers may concern any of the domains using 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 that discuss modelling issues, or novel reasoning methods are especially welcome.
The Innovative Applications programme is a forum for practitioners and end users of constraint technology, and an interface between them and researchers in constraints. It takes over the task previously performed by the Conference on the Practical Application of Constraint Technologies and Logic Programming (PACLP), and inherits the Chair of PACLP-2001 (Edward Tsang). We welcome submission in, but not limited to, the following topics: surveys of an application area, including problems to which constraint programming may be applied, experience in applying constraint programming, and areas where further research is required to meet industrial needs; software engineering aspect of constraint programming, including constraints elicitation, modelling and solving ill-defined applications; solutions of constraint problems using multiple solving techniques, including cooperative algorithms, hybrid solver configurations, and embedding constraint techniques in logic programming; the evaluation and comparison of approaches, including operational research vs. constraint programming, and stochastic vs. complete search techniques. More details about the Innovative Applications programme will be posted here.
Conference Chair
Toby Walsh | Local Chair
Antonis Kakas |
Chair of Innovative Applications
Programme
Edward Tsang | Chair of Doctoral Programme
Francesca Rossi |
Workshop and Tutorial Chair
Thomas Schiex | |
Program Committee | |
Fahiem Bacchus, University of Toronto Philippe Codognet, INRIA Thom Fruehwirth, Ludwig Maximillians University Pascal Van Hentenryck, Brown University Helene Kirchner, LORIA & INRIA Francois Laburthe, Bouygues SA Joao Marques-Silva, Univer. Tecnica de Lisboa Michela Milano, University of Bologna Christian Schulte, Saarland University Edward Tsang, University of Essex Roland Yap, National University of Singapore | Christian Bessiere, LIRMM-CNRS Boi Faltings, LIA-EPFL Georg Gottlob, Vienna University of Technology Peter Jonsson, Linkoping University Manolis Koubarakis, Technical University of Crete Javier Larrosa, Universitat Politecnica de Catalunya Pedro Meseguer, IIIA-CSIC Jean-Charles Regin, ILOG Peter Stuckey, University of Melbourne Benjamin Wah, University of Illinois Makoto Yokoo, NTT |
Ian Miguel
Department of Computer Science
The University of
York
Heslington
YORK, YO10 5DD, United Kingdom
Email: ianm@cs.york.ac.uk