[Prev][Next][Index][Thread]
CP2000: Final Call for Papers [NEW SUBMISSION DATES]
[ Benjamin C. Pierce asked me to write a short prolog underlining the ]
[ relevance of CP2000 for TYPES readers. Although not being an expert ]
[ in this area, here my 10 cents. ]
[ ]
[ Martin Henz ]
[ Publicity Chair, CP2000 ]
Constraint-based formalisms have been proved useful for several kinds
of type inference and type checking methods. Examples include the
use of constraints for simpler reformulations of classical type inference
methods such as Hindley-Milner-style polymorphic type inference, mode
analysis for concurrent logic programming, binding time analysis in logic
programming etc. The conference CP2000 invites submissions on typing that
use constraint-based or constraint-related methods.
[It is my standard policy to request such prologs for announcements of
events that are not self-evidently relevant to Types. This turns out
to have two good effects: the posters of most announcements never
respond to my request, and the ones that do always add useful
information. Thanks, Martin! -- BCP]
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 workshop/tutorial proposals: March 15, 2000
NEW DATE FOR SUBMISSION OF ABSTRACTS: March 22, 2000
NEW DATE FOR SUBMISSION OF PAPERS: March 26, 2000
Notification of acceptance: May 15, 2000
Camera-ready papers due: June 30, 2000
Conference site
Located in Southeast Asia, the Republic of Singapore is a safe and
clean city-state. Known as the Lion City, Singapore is a modern
metropolis with one of the world's busiest ports and a world-class
airport. At the same time, the small tropical island has retained many
elements of its colonial past. The multiethnic nature of the
population provides a rich and varied cultural, religious, and
linguistic heritage. The conference will be take place at the Hilton
Singapore.
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 can be done through the web page
http://pinky.ics.uci.edu:8080/. We require submission of abstracts
by March 22 and submission of papers by March 26. We discourage
email or paper copy submission; in case submission through the web
is not possible, please use the instructions at
http://www.comp.nus.edu.sg/~cp2000/submission-by-mail.html.
All papers must be formatted according to the style used in
Springer Verlag's Lecture Notes in Computer Science. Support files
for this style (use llncs.cls for LaTeX2e) are available at
http://www.springer.de/comp/lncs/authors.html. All authors must be
prepared to send a hardcopy by fast airmail upon request.
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 Monday, September 18, and
Friday, September 22, 2000. Workshop and tutorial proposals should
be submitted to the workshop chair Toby Walsh via email at
tw@cs.york.ac.uk by March 15, 2000.
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
ryap@comp.nus.edu.sg
Program Chair
Rina Dechter
Information and Computer Science
University of California
Irvine CA 92697-3425, USA
Phone: +1 (949) 824-6556
Fax: +1 (949) 824-4056
dechter@ics.uci.edu
cp2000@ics.uci.edu
Workshop Chair
Toby Walsh
Department of Computer Science
The University of York
Heslington
YORK, YO10 5DD, United Kingdom
Phone: +44 1904 432722
Fax: +44 1904 432767
tw@cs.york.ac.uk
Program Committee
Krzysztof Apt (CWI),
Roberto Bayardo (IBM, Almaden),
Peter van Beek (University of Alberta),
Alexander Bockmayr (LORIA),
Alex Brodsky (George Mason University),
Philippe Codognet (University of Paris, 6),
Boi Faltings (LIA-EPFL),
Ian Gent (University of Strathclyde),
John Hooker (CMU),
Joxan Jaffar (National University of Singapore),
Peter Jeavons (Oxford University),
Henry Kautz (AT&T Labs),
Manolis Koubarakis (Technical University of Crete),
Michael Maher (Griffith University),
Jean-Francois Puget (ILOG),
Barbara Smith (University of Leeds),
Francesca Rossi (University of Padova),
Helmut Simonis (Cosytec),
Christian Schulte (Univ. des Saarlandes),
Mark Wallace (IC-Parc, Imperial College),
Makoto Yokoo (NTT)
Organizing Committee
Alan Borning (Univ. of Washington),
Alex Brodsky (George Mason University),
Jacques Cohen (Brandeis Univ.),
Alain Colmerauer (Univ. of Marseille),
Eugene Freuder, chair (Univ. of New Hampshire),
Herve Gallaire (Xerox),
Joxan Jaffar (National University of Singapore),
Jean-Pierre Jouannaud (Univ. of Paris Sud),
Jean-Louis Lassez (New Mexico Tech),
Michael Maher (Griffith University),
Ugo Montanari (Univ. of Pisa),
Anil Nerode (Cornell Univ.),
Jean-Francois Puget (ILOG),
Francesca Rossi (University of Padova),
Vijay Saraswat (AT&T Research),
Gert Smolka (Univ. des Saarlandes),
Ralph Wachter (Office of Naval Research)
______________________________________________________________________
distributed by publicity chair Martin Henz (www.comp.nus.edu.sg/~henz)