MGS 2007

Midlands Graduate School

in the

Foundations of Computing Science

University of Nottingham, UK, 16 - 20 April, 2007

Invited Lecturer:

Colin Stirling

Further lecture notes and updates!

The Midlands Graduate School (MGS) in the Foundations of Computing Science provides an intensive course of lectures on the Mathematical Foundations of Computing. It has run annually since 1999, and is hosted by the Universites of Birmingham, Leicester, and Nottingham in rotation. The lectures are aimed at PhD students, typically in their first or second year of study. However, the school is open to anyone who is interested in learning more about the mathematical foundations of computing, and all such participants are warmly welcomed. We also very much welcome students from abroad.

MGS 2007 is going to be held in Nottingham, UK, 16 - 20 April, hosted by the School of Computer Science and Information Technology, the University of Nottingham. Ten courses are going to be given: three introductory ones, and seven advanced. The students participate in all the introductory courses and chose additional options from the advanced courses.


The following courses are planned for MGS:

Introductory Courses:

Advanced Courses:

Abstracts for the courses are available here.

Detailed Programme

All lectures will be given in the School of Computer Science and IT, which is building number 4 on the campus map. Lunches and, for participants staying in campus accommodation, breakfasts, are served in The Atrium, building number 5.

Note that the advanced courses are given in parallel. However, we have tried to minimize the number of different courses each advanced course clashes with to make it possible to choose advanced courses as freely as possible.

The lectures will take place in two rooms, designated Upper and Lower:

Schedule MGS 2007
Mon 16/4 Tue 17/4 Wed 18/4 Thu 19/4 Fri 20/4
08:30 - 09:00 Registration
09:00 - 10:00 OPE (U) LAM (U) LAM (U) LAM (U) LAM (U)
10:00 - 11:00 OPE (U) OPE (U) OPE (U) OPE (U) LAM (U)
11:00 - 11:30 Reg./Coffee Coffee Coffee Coffee Coffee
11:30 - 12:30 CAT (U) CAT (U) CAT (U) CAT (U) 11:30 DOM (U) & 12:00 CON (U)
12:30 - 14:00 Lunch Lunch Lunch Lunch Lunch/Review
14:00 - 15:00 STO (L) / ADV (U) STO (L) / CON (U) STO (L) / CON (U) STO (L) / CON (U)
15:00 - 15:30 Coffee Coffee Coffee Coffee
15:30 - 16:30 TOP (L) / ADV (U) TOP (L) / DEP (U) TOP (L) / ADV (U) TOP (L) / DEP (U)
16:30 - 17:30 DEP (L) / ALG (U) ALG (L) / DOM (U) ALG (L) / DOM (U) ALG (L) / DOM (U)
17:40 - 18:40 Extra CAT (U)
Additionally, there will be a short break between any two consecutive lectures.


ADV   Advanced Functional Programming
ALG Algorithmic Problem Solving
CAT Category Theory
CON Concurrency Theory
DEP Dependently Typed Programming
DOM Domain Theory and Denotational Semantics
LAM Typed Lambda Calculus
OPE Operational Semantics
STO Stone Duality
TOP Topology and Logic

Location and Travel

MGS 2007 will be held on the Jubilee Campus of the University of Nottingham, in the School of Computer Science and IT (campus map). The Jubilee Campus has won many awards for its design and environmental features, and is located close to both the beautiful University Park Main Campus and historical Wollaton Hall and Deer Park. The Nottingham City Centre is just a short bus ride away.

Nottingham is centrally located in the UK, and is easily reachable by all forms of transport, see how to get here. Should you arrive by air, the Jubilee Campus is about 30 minutes by taxi from Nottingham East Midlands airport, which has direct scheduled flights to many European destinations. Those without a direct flight should be able to make the journey with a single change, or may prefer to fly to Birmingham, Manchester, London Stansted or London Heathrow airports and then take the train to Nottingham. If you will be flying to Nottingham, please book your ticket as soon as possible, as most of the carriers are budget airlines whose cheap flights are very popular. Online timetables and booking are available for most flights, via the above links or try amadeus.

In case you require a taxi as part of your return journey, here are some local numbers:

Cable Cars: 0115 922 9229
Central Taxi: 0115 975 2222
County Taxi: 0115 942 5425
DG Taxi: 0115 960 7607

Registration and Accommodation

Registration is now closed and there are no spare places.

Arrival Notes

All non-local participants are staying in Newark Hall on the Jubilee Campus (see map). Rooms are available from 3 PM on the day of arrival (which is Sunday 15 April for most people), and must be vacated by 10 AM on the day of departure (which is Friday 20 April for most people). Keys can be obtained from the porter at the entrance of Newark Hall until midnight. Breakfast is served in The Atrium.

Participants are invited to meet at 6 PM onwards on the evening of Sunday 15 April in the Rose and Crown pub, which serves food. Starting from Newark Hall on the Jubilee Campus, follow the dashed pedestrian/cycle route on the campus map to the left-side of the lake down past the playing fields and tennis courts, and the Rose and Crown is located at the text "Derby Road A6200".

MGS 2007 School Dinner

We have arranged a complimentary School Dinner Wednesday (18/4) evening at 7:30 PM at one of the best Indian restaurants in Nottingham:

4550 Miles from Delhi
Maid Marion Way / Mount Street
Nottingham NG1 6HE
This dinner is free for all MGS 2007 participants, except that you'll have to buy your own drinks at the bar if you want anything else than ice water. Directions are available here (PDF).

Suggested restaurants

Please see this map for some suggested restaurants. If you venture into town for dinner, you may want to to make your way towards the pub the Old Trip to Jerusalem afterwards. It's right next to Nottingham Castle. Otherwise, if you stay around the Jubilee campus, the Newark bar is open from 5.30 to 11 every evening.

MGS 2007 Group Photo

List of participants (name and affilliation only) here.

Midlands Graduate School Call for Participation and Poster

The MGS Call for Paticipation is available here, and the MGS poster is available here.


MGS Director:   Graham Hutton,   University of Nottingham, UK
MGS 2007 Organisation: Henrik Nilsson, University of Nottingham, UK

Last updated 20 April 2007