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

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


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

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. 


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

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

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

Workshop Chair

   Toby Walsh
   Department of Computer Science
   The University of York
   YORK, YO10 5DD, United Kingdom
   Phone: +44 1904 432722
   Fax: +44 1904 432767

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)