AI4FM / 2011

The second “AI-meets-Formal Methods” meeting, Edinburgh, 28-29 April 2011

(View AI4FM 2011 locations in a larger map)

Edinburgh, 28-29 April, 2011


Welcome to AI4FM 2011. Following our successful inaugural open meeting held in Newcastle in May 2010, we plan to hold annual meetings where we discuss the project with our collaborators and people interested in it. The AI4FM 2011 event had a similar structure to the Newcastle meeting, where we started the first day with lunch and finished the second day with lunch.

Below you can see a the programme for both days. On the right you can see a map containing relevant venues for the meeting.


Thursday 28 April 2011 (room 4.31/4.33)

Friday 29 April 2011 (room 4.31/4.33)


All sessions were held in room 4.31/4.33 (4th floor) of the Informatics Forum, University of Edinburgh (see map above). Lunch and coffee/tea breaks as well as the wine/food reception were in Mini Forum 2 (MF2) which is located just outside 4.31/4.33.


This event is sponsored by the Complex Systems Engineering theme of the Scottish Informatics and Computer Science Alliance (SICSA) and the Centre for Intelligent Systems and Their Applications (CISA) at the University of Edinburgh.




Thanks to the SICSA sponsorship this event is free of charge. However, there are only a limited number of places available, and we apply a first-come-first-served policy.

Registration is achieved by emailing your details to:
Gudmund Grov: ggrov (at) staffmail (dot) ed (dot) ac (dot) uk.

Please register before 28 February 2011.


We do not organise any particular accommodation. However, we can recommend the accommodation listed at:

Call for participation

The call for participation is available here.