Fourth Scottish Constraints Meeting

Friday the 8th of September
Conference Room 121
17 Lilybank Gardens
Department of Computing Science
University of Glasgow

Location map
Organiser: Patrick Prosser

Report of the Meeting

This is the fourth in the series of meetings in Scotland of researchers and practitioners interested in constraints, funded by the UK Constraints Network (ConsNet), which in turn is funded by EPSRC. The meetings are informal (with about 12 to 20 attendees), and the intention is to discuss ideas, present ongoing research, examine industrial problems, and ask questions (such as, who's going to host the next meeting). There is a mix of long talks and short talks, with plenty of time for discussion and lunch! We are particularly keen to involve people from industry who have problems which may be amenable to constraint methods and researchers starting out in the area of constraints.

So far, we have held three meetings. The first was held in St. Andrews (chaired by Ian Gent), the second in Edinburgh ( Josh Singer), and the third in Aberdeen (Ken Brown)

Call for participation

Would you like to attend the next meeting? Would you care to make a presentation? Presentations can be quite informal. You can present your research plans, describe a problem that is interesting (and maybe relevant), even completed research with results! Maybe you would like to report on the conferences you have attended this year, or talk about funding opportunities and collaboration. There are no proceedings, and nothing is published, so you can safely say what you want (the audience is friendly). At the previous meeting Ken Brown invited all attendees to make a 5 minute, single slide presentation. These presentations gave a snap shot of the state of research in Constraints in Scotland. There were also a number of longer research presentations, some by experienced researchers, some by PhD students just starting off.

If you would like to attend, and would like to make a presentation, then please email for more details.

Provisional Programme

An OHP and data projector will be available. If you wish to email me a powerPoint presentation in advance I can put it on my lapTop for you. The final session is intended to focus on the future. Everyone is invited to give a micro presentation. Only one slide can be used, and you are allowed no more than 5 minutes. Your presentation might be a snap shot of the work you are doing or are about to do, something that you would like to do, an interesting problem, a new language or toolkit, etc.

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


The people below have indicated that they will be attending. We need to know numbers to organise lunch: if you are not on this list, but want to attend, or you are on the list but will not be coming, please contact Patrick Prosser (


The meeting will be held in the conference room (room 121) in the Department of Computer Science, Lilybank Gardens. You need to enter via house 17. The meeting room is on the 1st floor. Lilybank Garden is marked in red on the Location map. If you are coming by train then use the underground and go to Hillhead. When you get out of the station turn right, walk up Byres Road to the first junction, turn right up Great George Street, and then take the second turn on your right (that's Lilybank Gardens). Walk along to the last Victorian terraced house, number 17. (So, that's a right, right, right. There is a shorter route via Ashton lane, but any of you that know me will realise that I am incapable of giving anything but simple directions). If you are arriving at Glasgow via Queen Street Station you will find a tube station beside it. If you arrive at Central station then walk up to the tube at Queen Street Station. If you really get lost, take a taxi to 17 Lilybank Gardens, just off Byres Road.