| 10.15-10.30 | Opening |
|---|---|
| 10.30-11.00 |
Portfolio Optimisation in Computational
Finance (slides), Pierre Flener, Uppsala University |
| 11.00-11.30 |
Applications of General Exact
Satisfiability in Propositional Logic Modelling (slides), Vilhelm Dahllöf, Linköping University |
| 11.30-12.00 |
Rail yard shunting: A modelling challenge for CP? (slides), Per Kreuger, SICS |
| 12.00-13.15 | Lunch |
| 13.15-13.45 |
Extracting Goal-Related Constraints in Planning (slides), Mats Petter Pettersson, Lund University |
| 13.45-14.15 |
Meaning in Context. - An application of Constraint Logic Programming
for Natural Language Processing (slides), Henning Christiansen, Roskilde University |
| 14.15-14.45 |
Dispensation Order Generation for Pyrosequencing (slides), Mats Carlsson, SICS |
| 14.45-15.15 | Coffee break |
| 15.15-15.45 |
Speeding Up Constraint Propagation, Christian Schulte, IMIT, KTH |
| 15.45-16.15 |
Trace-based debugging in CP (slides), Ludovic Langevine, SICS |
| 16.15-16.45 |
Group Construction for Cabin Crew -
Comparing CP with Branch & Price (slides), Jesper Hansen, Carmen Consulting |
Here is a list of other accommodation options.