Sixth International Conference on
Principles and Practice of Constraint Programming
September 18-22, 2000, Singapore
http://www.comp.nus.edu.sg/~cp2000
CALL FOR PAPERS
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. 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, user interfaces. Papers that bridge
disciplines or combine theory and practice are especially welcome.
Important dates
Submissions of abstracts: March 11, 2000
Submissions of papers: March 15, 2000
Notification of acceptance: May 15, 2000
Camera-ready papers due: June 30, 2000
Submissions
Papers must be original and not submitted for publication elsewhere.
Research papers can be up to 15 proceedings pages, and poster papers
can be up to 5 pages. Submission should be done by sending two emails
to [EMAIL PROTECTED]
The first email (to be received by March 11) should have the subject
"CP2000 Abstract: " followed by the paper title. The body of this
first email should contain the title, authors and a short abstract of
the paper, all in plain text. The second email (by March 15) should
have subject "CP2000 Paper: " followed by the paper title. The body
of this second email should contain a postscript file. All authors
must be prepared to send a hardcopy by fast airmail upon request.
For authors who are unable to submit electronically, five paper copies
can be mailed to the program chair, to arrive on or before the
submission deadline.
Publication
The proceedings will be published by Springer Verlag in the Lecture
Notes in Computer Science series. A special issue of the Constraints
journal (Kluwer Academic Publishers) is planned, based on selected
papers.
Workshops and Tutorials
Workshops and tutorials are planned for Friday, September 22, 2000.
Workshop and tutorial proposals can be submitted to the workshop chair
(to be announced) by approximately February 15, 2000. Details will be
available soon.
Conference Chair
Roland Yap
School of Computing
National University of Singapore
S16, Level 5, 3 Science Drive 2
Singapore 117543, Republic of Singapore
Phone: +65 874-2972
Fax: +65 779-4580
[EMAIL PROTECTED]
Program Chair
Rina Dechter
Information and Computer Science
University of California, Irvine, USA
Phone: +1 (949) 824-6556
Fax: +1 (949) 824-4056
[EMAIL PROTECTED]
[EMAIL PROTECTED]
Program Committee
To Be Announced
Workshop Chair
To Be Announced
Organizing Committee
A. Borning (Univ. of Washington),
A. Brodsky (George Mason University),
J. Cohen (Brandeis Univ.),
A. Colmerauer (Univ. of Marseille),
E. Freuder, chair (Univ. of New Hampshire),
H. Gallaire (Xerox),
J. Jaffar (National University of Singapore),
J.-P. Jouannaud (Univ. of Paris Sud),
J.-L. Lassez (New Mexico Tech),
M. Maher (Griffith University),
U. Montanari (Univ. of Pisa),
A. Nerode (Cornell Univ.),
J.-F. Puget (ILOG),
F. Rossi (University of Padova),
V. Saraswat (AT&T Research),
G. Smolka (DFKI and Univ. Saarlandes),
R. Wachter (Office of Naval Research)
Publicity Chair
Martin Henz
School of Computing
National University of Singapore
S16 Level 5, 3 Science Drive 2
Singapore 117543, Republic of Singapore
Phone: +65 874-6632, Fax: +65 779-4580
[EMAIL PROTECTED]
