Modelling with Constraints: Theory and Practice

ACP Summer School

Monday 30th June to Friday 4th July 2008

St Andrews, Scotland

Image copyright The University of St Andrews

The ACP Summer School 2008 will be held in St. Andrews, Scotland, from June 30th - July 4th 2008. The topic of this year's school will be "Modelling with Constraints: Theory and Practice".

As well as lecture series from world class researchers, participants will use the Minion constraint solver and the Essence modelling language in practical modelling exercises.

The Summer School will take place in the Jack Cole Building (School of Computer Science) on the North Haugh, St Andrews. You can find a map of the University of St Andrews here.

Speakers and Talks


The Summer School will start at 9am on Monday 30th June and finish at lunchtime on Friday 4th July. Participants are advised to arrive on Sunday 29th June.
A full schedule is available here.


There will be financial help to attend the Summer school for those who could not afford to come otherwise. If this money is over subscribed than we will allocate it to the students who have the most to gain from attending this event. If you wish to apply for funding please ask your supervisor to write a letter of recommendation for you and send it to by Friday the 6th of June when we will confirm funding.


The registration fee for the summer school is 227.50 GBP.

To register to attend the summer school please click here and then select "Book this event". This page can also be used to book accommodation.


Accommodation for the Summer School will be provided in New Hall. You can find some details about the accommodation here.
All rooms are double, en-suite and cost 44.50 GBP per night with a total of 222.50 GBP for 5 nights (Sunday-Thursday).

To arrange accommodation, please use the registration process above.

Getting here

Some useful information about travelling to St Andrews can be found here


Ian Gent
Karen Petrie
Angela Miguel