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:
Abstracts for the courses are available here.
- Operational Semantics
Roy Crole (University of Leicester)
- Category Theory
Neil Ghani (University of Nottingham)
- Typed Lambda Calculus
Paul Levy (University of Birmingham)
- Dependently Typed Programming
Thorsten Altenkirch (University of Nottingham)
- Algorithmic Problem Solving
Roland Backhouse (University of Nottingham)
- Domain Theory and Denotational Semantics
Martín Escardó (University of Birmingham)
- Stone Duality
Achim Jung (University of Birmingham)
- Advanced Functional Programming
Henrik Nilsson (University of Nottingham)
- Concurrency Theory
Colin Stirling (University of Edinburgh)
- Topology and Logic
Steve Vickers (University of Birmingham)
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:
|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)|
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
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 is now closed and there are no spare places.
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".
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 DelhiThis 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).
Maid Marion Way / Mount Street
Nottingham NG1 6HE
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.
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