11:00 - 11:15 | Welcome & coffee |
11:15 - 11:45 | Josh Singer: Local Search on Random 2+p-SAT |
11:45 - 12:15 | Ken Brown: Leaving variables unassigned in CSPs |
12:15 - 12:30 | Mark Winter: Knowledge refinement in
constructing CSPs |
12:30 - 1:45 | Lunch: King's College Visitor Centre |
1:45 - 2:15 | Peter Ross: Combining heuristics by evolutionary
methods to solve constraint problems |
2:15 - 2:30 | Nick Gotts: Constraints in spatial reasoning |
2:30 - 2:45 | Martin Swain: Protein sidechain placement
using CLP |
2:45 - 3:00 | Coffee & discussion |
3:00 - 3:15 | Alun Preece: Constraints in E-commerce |
3:15 - 4:00 | Future Prospects: research, applications,
collaboration |