CALL FOR PARTICIPATION
CP 2010
16th International Conference on Principles and Practice of Constraint Programming
St Andrews, Scotland, UK
6-10 September 2010
http://cp2010.cs.st-andrews.ac.uk
*** NOTE: Early Registration is due to end on the 19th of August ***
The International Conference on Principles and Practice of Constraint
Programming is the annual conference on all aspects of computing with
constraints, including: theory, algorithms, applications, environments,
languages, models and systems.
Invited Speakers:
- Robert Nieuwenhuis, University of Catalonia
"SAT Modulo Theories: getting the best of SAT and global constraint filtering"
- Edward Tsang, University of Essex
"Constraint-directed Search in Computational Finance and Economics"
- Moshe Y. Vardi, Rice University
"Constraints, Graphs, Algebra, Logic, and Complexity"
The preliminary program and the list of accepted papers can be found at:
http://cp2010.cs.st-andrews.ac.uk/program.php
List of Tutorials:
- From SAT to Parallel SAT Solving
Youssef Hamadi, Microsoft Research
- Distributed Search by Constrained Agents
Prof. Amnon Meisels, Ben-Gurion University and Dr. Roie Zivan, Carnegie Mellon University
- Valued Constraint Satisfaction Problems
Martin Cooper, Simon de Givry, and Peter Jeavons
- Backdoors to Satisfaction
Barry O'Sullivan
List of Workshops:
- 9th Workshop on Constraint Modelling and Reformulation
http://www.it.uu.se/research/group/astra/ModRef10
- 10th Workshop on Symmetry in Constraint Satisfaction Problems
http://www.it.uu.se/research/group/astra/SymCon10/
- 7th Workshop on Local Search Techniques in Constraint Satisfaction
http://becool.info.ucl.ac.be/lscs2010/
- 3rd Workshop on Quantification in Constraint Programming
http://qicp2010.greyc.fr/
- 10th Workshop on Preferences and Soft Constraints
http://logos.ucd.ie/events/soft10/
- 3rd Workshop on Techniques for Implementing Constraint Programming Systems
http://people.cs.kuleuven.be/~guido.tack/2010TRICS/
- 1st Workshop on Constraint Reasoning and Graphical Structures
http://www.4c.ucc.ie/cp-graphical-ws-2010/
- 3rd Workshop on Constraint Reasoning and Optimization for Computational Sustainability
http://www.computational-sustainability.org/crocs-at-cp10
Registration and Accommodation can now be booked through:
https://onlineshop.st-andrews.ac.uk/browse/extra_info.asp?compid=1&modid=2&prodid=154&deptid=29&catid=34
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
