11:00 - 11:15 | Welcome & coffee |
11:15 - 11:45 | Barbara Smith: Modelling of a permutation problem |
11:45 - 12:15 | Patrick Prosser: Constraint programming and the stable marriage problem |
12:15 - 2:30 | Lunch: DiMaggio's, Ruthven Lane |
2:30 - 3:00 | Toby Walsh: Uncertainty in Constraint Satisfaction |
3:00 - 3:30 | Ian Gent: Symmetries in Constraint Programming |
3:30 - 3:45 | Coffee |
3:45 - 3:55 | Toby Walsh: Constraint Patterns |
4:00 - 4:30 | Micro presentations (all attendees) |
4:30 - 4:45 | Conclusion, next meeting, directions to pub (Bar Brel) |