[SMT-LIB] Workshop announcement: "Next 10 years of Constraint programming"
Lucas Bordeaux
lucasb at microsoft.com
Thu May 25 15:16:25 EDT 2006
Join the discussion! http://groups.yahoo.com/group/constraints/
Workshop announcement, apologies for multiple copies:
CP 06 workshop on "the next 10 years of Constraint Programming"
===============================================================
We are pleased to announce that the Twelfth International Conference on
Principles and Practice of Constraint Programming (CP06:
http://www.sciences.univ-nantes.fr/cp06/) will include a special
workshop on "the next 10 years of constraint programming". The goal of
this event will be to discuss the following questions:
- What are the achievements of the field during the last 10 years?
- What is the perception of CP by users and other research communities?
- What are the research directions for CP in 2006?
- What role can CP play within computer science research and industry?
- What are the strategic research directions likely to be in 2016?
- What application domains are of interest to us in the future?
The workshop will include a panel of invited speakers from both academia
and industry, and will also leave ample time for public discussions. The
content of the workshop is largely to be defined and all researchers and
practitioners interested in the future of Constraint Programming are
invited to share their comments and propose discussion threads through
the Yahoo! group of the Association for Constraint Programming:
http://groups.yahoo.com/group/constraints/
Lucas Bordeaux
Barry O'Sullivan
Pascal Van Hentenryck
More information about the SMT-LIB
mailing list