Barbara M. Smith - Links & Events

CSPLib: a problem library for constraints
Constraint Programming Online: a Web site hosting the CP Newsletter and other CP links.
SymNet: an EPSRC-funded network for researchers in Symmetry and Search.

The papers presented at some of the following workshops are accessible from the Web site.

Fifth International Workshop on Constraint Modelling and Reformulation, CP 2006 Workshop, Nantes, France, September, 2006. (Proceedings)
SymCon06, The Sixth International Workshop on Symmetry in Constraint Satisfaction Problems, CP 2006 Workshop, Nantes, France, September, 2006. (Proceedings)
1st Constraint Modelling Challenge, held in conjunction with the Modelling and Solving Problems with Constraints workshop at IJCAI 2005.
International Workshop on Mathematics of Constraint Satisfaction, 20-24 March 2006, St Anne's College, University of Oxford.
ECAI 2006 , August 28 - September 1, 2006, Riva del Garda, Italy.
IJCAI-07, the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 2007. The proceedings are available on line.
International Symmetry Conference, Edinburgh, January, 2007.
CP-AI-OR'07, The Fourth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. Brussels, Belgium, May 23-26, 2007.
CSCLP 2007: Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, June 7th-8th 2007, INRIA, France.
AAAI-07, the 22nd AAAI Conference on Artificial Intelligence, Vancouver, July 2007.

CP 2007: The 13th International Conference on Principles and Practice of Constraint Programming, Providence, RI, USA, September 23-27, 2007.
ModRef'07, the 6th International Workshop on Constraint Modelling and Reformulation, at CP 2007.
SymCon07, the 7th International Workshop on Symmetry and Constraint Satisfaction Problems, at CP 2007.
CSCLP 2008: Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming Rome, Italy, June 18-20, 2008.
ECAI 2008, 18th European Conference on Artificial Intelligence, Patras, Greece, 21-25 July, 2008.
AAAI-08, the Twenty-Third AAAI Conference on Artificial Intelligence, Chicago, July 13-17, 2008.

BMS September 2007