ASTRA Group on Constraint Programming

• We organise CP 2013, the 19th International Conference on the Principles and Practice of Constraint Programming, held at Uppsala University on 16 - 20 September 2013.

• Jean-Noël Monette is programme co-chair of COSpeL, the 1st workshop on Domain Specific Languages in Combinatorial Optimisation, held in Uppsala (Sweden) in September 2013.

• Mats Carlsson serves on the programme committee of TRICS, the 3rd workshop on Techniques foR Implementing Constraint programming Systems, held in Uppsala (Sweden) in September 2013.

• Pierre Flener (senior PC + application track) as well as Mats Carlsson, Jean-Noël Monette, and Justin Pearson (main track) served on the programme committee of CP 2013, the 19th International Conference on the Principles and Practice of Constraint Programming, held in Uppsala (Sweden) in September 2013.

• Pierre Flener served on the senior programme committee of IJCAI 2013, the 23rd International Joint Conference on Artificial Intelligence, held in Beijing (China) in August 2013.

• Justin Pearson served on the programme committee of AAAI 2013, the 27th AAAI Conference on Artificial Intelligence, held in Bellevue (Washington, USA) in July 2013.

• Jean-Noël Monette served on the programme committee of JFPC 2013, les 9ièmes Journées Francophones de Programmation par Contraintes, held in Aix-en-Provence (France) in June 2013.

• Jimmy Ho Man Lee of The Chinese University of Hong Kong gave the talk Constraint Programming on Infinite Data Streams and Applications on 11 June 2013 at Uppsala University.

• The SweConsNet 2013 workshop of SweConsNet, the Network of Sweden-based researchers and practitioners of Constraint programming, was held at Lund University on 27 May 2013.

• Mats Carlsson, Pierre Flener, and Justin Pearson served on the programme committee of CPAIOR 2013, the 10th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming (CP), held in Yorktown Heights (NY, USA) in May 2013.

• Jun He successfully defended his PhD thesis Constraints for Membership in Formal Languages under Systematic Search and Stochastic Local Search on 26 April 2013 at Uppsala University. The opponent was Yves Deville of the Université catholique de Louvain (Belgium). The jury was composed of Christine Solnon of INSA de Lyon (France), Ian Miguel of The University of St Andrews (UK), and Tobias Wrigstad of Uppsala University (Sweden).

• Older News

Constraint programming (CP) is a rather novel set of methods and tools for modelling and solving constraint problems, in a way orthogonal and complementary to other optimisation technologies (such as ILP, MILP, SAT, etc). Constraint problems arise in many application domains, such as scheduling, rostering, planning, configuration, control, design, biology, finance, transport, logistics, and so on. Decisions have to be made (that is, the values of unknowns have to be determined) so that some constraints are satisfied and, optionally, some cost / benefit is minimised / maximised. (Read more)