University of Leicester


Midlands Graduate School 2006, Leicester, UK (Saturday 8th April to Wednesday 12th April)


The Midlands Graduate School (MGS) provides an intensive course of lectures on the Mathematical Foundations of Computing. It has run annually, for a number of years, and is held at either the University of Birmingham, the University of Nottingham, or the University of Leicester. The lectures are aimed at graduate students, typically in their first or second year of study for a PhD. However, the school is open to anyone who is interested in learning more about mathematical computing foundations, and all such applications are warmly welcomed. We also very much welcome students from abroad.

This year we will also hold an optional workshop during which PhD students can give a short overview talk about their work.

We have EPSRC grants to support a limited number of UK PhD students (both EPSRC funded PhD students and others), allocated on a first-come first-served basis. APPSEM funds can be used to support students from APPSEM affiliated sites (speak to your site leader).

The lectures will take place on the main University Campus, University Road, University of Leicester. We will provide lunches, and coffee breaks. During the breaks you will be free to chat to the lecturers about their courses, and to seek advice about the exercises. In the evenings you are free to explore the city. There are plenty of good pubs and restaurants near to the main campus, and there should be opportunuties to join the lecturers for dinner if you wish.

Please arrive by 0845 on Saturday 8th April. You should come to the main campus, entrance 2, and make your way to the Attenborough Building, Lecture Theatre 3 - here are some maps (see below for maps of the hotels). This building is next to the Department of Computer Science, which is itself in the Mathematics and Computer Science building. (The library is very nearby as well.) When you enter the Attenborough, the lecture room is downstairs. We look forward to meeting you!

Lecture Courses

There are Core courses which are taken by everyone, and consist of five one hour lectures. There are also Options, which consist of four one hour lectures.

This year MGS has two guest lecturers, namely Professor Luke Ong, University of Oxford, UK, and Professor Thomas Striecher, Technische Universität Darmstadt, Germany.

Lecturer Course
Roy Crole Operational Semantics C SEM
Paul Levy Typed Lambda Calculus C LAM
Dirk Pattinson Category Theory C CAT
Thorsten Altenkirch Quantum Programming O QMP
Martin Escardo Operational Domain Theory and Topology O TOP
Henrik Nilsson Advanced Functional Programming O AFP
Luke Ong Game Semantics O GAM
Thomas Streicher Constructive Logic O LOG
Emilio Tuosto Concurrency and Mobility O CON

Timetable and Optional Workshop

The school runs from Saturday 8th April, to around lunchtime on Wednesday 12th. The optional workshop will run on Wednesday afternoon. Here is the timetable and workshop details.

Travel and Accommodation

For travel to the University, please consult Visitor's Information: Maps and Transport and click on the links at the bottom of the page for maps and transport. A key fact is that the rail station, hotels and University are all fairly near to each other. The University is located on University Road and the rail station on London Road. Victoria Park is adjacent to the campus, London Road, and Victoria Park Road.

For getting from the hotels to the University, please find maps through Select Great Britain, and then use these postcodes (see also information on the hotel web sites):

  • University is LE1 7RH
  • Stoneycroft and Mitchell is LE2 1RB
  • Spindle Lodge is LE1 7NA

We have reserved some rooms in hotel accomodation. The reserved rooms are available at a discounted rate (given below). If you would like one of these rooms, please state your choice of hotel on the registration form. The hotels are listed below. Please note that we cannot guarantee room availability, nor hotel choice. If a room is available, we will let you know by email which hotel you have been booked into--please pay the hotel directly, and if you have any questions or queries about your hotel, we would be grateful if you can contact them directly. (If all rooms are taken, then you will have to arrange your own accommodation; there are other hotels, and bed and breakfasts, nearby.)

Registration and Grants

Formal registration is now CLOSED.

To register, please fill out the registration page, click on the register button and then print off your registration form. Post it to us, together with payment, to Ms. J. Sharma at the address below (for credit card payments print out this form, fill it in and send it along).

Post outstanding payments to Ms. J. Sharma at the address below (for credit card payments print out this form, fill it in and send it along).

There is a registration fee of £80. Included in this fee are tea/coffee breaks, two course lunches, and copies of the lecture notes. Please note that all participants are required to pay the full registration fee in advance.

EPSRC grants for UK students will be allocated on a first-come first-served basis, and will cover the registration fee. However, to be eligible, you must include with your application a supporting statement from your supervisor. Note that the numbers are limited, so please book early. If you are awarded a grant, then your registration fee will be refunded after the school has finished; for organisational reasons, we can only pay these grants as re-imbursements after you have attended the school.


You may contact the organisers, Roy Crole, Alexander Kurz, and Dirk Pattinson, if you have any questions:

  • mgs2006 at mcs dot le dot ac dot uk

Messages may be left with the Secretary to the Head of Department, Ms Jyoti Sharma:

Ms. J. Sharma,
MGS 2006,
Department of Computer Science,
University of Leicester,
United Kingdom

Tel: 0116 252 3887 (Outside UK +44 116 252 3887)
Fax: 0116 252 3915 (Outside UK +44 116 252 3915)

Author: Roy Crole.
© University of Leicester January 2006. Last modified: 28th November 2008, 13:46:56
CMS Web Maintainer. This document has been approved by the Head of Department.