Midlands Graduate School

in the Foundations of Computing Science

Computer Science Building    

The University of Birmingham

April 11 - 15, 2005

Supported by EU project Applied Semantics

and the Engineering and Physical Sciences Research Council, Grant GR/T06087/01

The 2005 Midlands Graduate School is taking place 11 April - 15 April 2004 at the University of Birmingham. We especially invite participants from UK universities and from sites participating in the APPSEM working group.

We are able to support a limited number of UK students with EPSRC grants, while APPSEM funds can be used to support students from APPSEM affiliated sites.

Please note that the Workshop on Logic and Control, that had been planned for Saturday 16 April, has been cancelled.

Courses

Core, G33

The core courses are taken by all students.

CAT Category theory, Graham Hutton
LAM Typed lambda-calculus, Paul Levy
DEN Denotational semantics, Achim Jung
FP Functional programming, introductory lecture, Conor McBride

Options

The arrangement of optional courses into three streams is for guidance only. Students can select any combination of courses that fits the schedule.

Programming stream, G33

QP Quantum programming, Thorsten Altenkirch
EPI Epigram, Conor McBride
FRP Functional reactive programming, Henrik Nilsson

Logic and model-checking stream, WG12

MOD Modal logic, Natasha Alechina
GSEM Game semantics for software verification, Dan Ghica
SEC Verifying security protocols, Mark Ryan

Semantics stream, WG5

TOP Operational domain theory and topology, Martín Escardó
ASD Abstract Stone duality, Paul Taylor
GSEM Game semantics for software verification, Dan Ghica

Schedule

Monday
11 April
Tuesday
12 April
Wednesday
13 April
Thursday
14 April
Friday
15 April
09:00 - 10:00 CAT CAT CAT CAT CAT
10:00 - 11:00 LAM LAM LAM LAM DEN
11:00 - 11:30 registration
coffee
coffee coffee coffee coffee
11:30 - 12:30 LAM DEN DEN DEN DEN
12:30 - 13:30 lunch lunch lunch lunch GSEM
13:30 - 14:00
14:00 - 15:00 FP QP
TOP
MOD
QP
MOD
QP
TOP
MOD
15:00 - 16:00 coffee
exercises
coffee
exercises
coffee
exercises
coffee
exercises
16:00 - 17:00 QP
TOP
MOD
FRP
SEC
ASD
FRP
SEC
ASD
FRP
SEC
ASD
17:00 - 18:00 SEC
ASD
EPI
GSEM
EPI
GSEM
EPI
GSEM

Accommodation

A number of (non en-suite) rooms have been reserved in Chamberlain Hall. The costs are 25 for bed and breakfast. You have to book the accommodation together with your registration, and rooms will be assigned on a first-come, first-served basis.

How to get here

The University is adjacent to the "University" rail station, which is served by frequent local trains from the main station "Birmingham New Street". While it is a very short distance to the lecture rooms from University station, walking to Chamberlain Hall is perhaps too far if you have to carry luggage as well. We recommend that you take a taxi from "New Street" to Shackleton Hall when you first arrive. This is right next to Chamberlain and the place where you will receive the key for your room. It is also where everyone can meet from 7pm onwards for a buffet dinner on Sunday evening. If you arrive by plane to Birmingham International Airport, then it is best to take the train to New Street and then a taxi. More travel information and maps can be found here.

Lectures

These will take place in G33, Aston Webb building. For the parallel sessions in the afternoon we have additionally reserved WG5 and WG12, also in Aston Webb.

Food and drink

The coffee served during breaks is included in the registration fee. Lunches are not included, but there are several food outlets located on campus.

Computer use

There will be guest accounts to access the web and to use ssh for logging into your home machines.

Costs

Apart from the accommodation costs, there is a small fee of 40 to cover local expenses. If you wish to take advantage of the accommodation in Chamberlain Hall, then you must pay in advance, either by credit card or by cheque. See the registration section for details.

Registration

For registration, please do two things: Send an email to P.B.Levy at cs.bham.ac.uk. This is primarily to take note of your email address, as all further information will be sent out electronically.
Secondly, print and fill in the registration and accommodation reservation form and either post it to

Mrs S Snow
School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT
United Kingdom

including a cheque (made payable to the University of Birmingham) or credit card number, or fax it to +44 121 414 5370 including a credit card number. The fax machine is in a secure location and only accessible to office staff. Do not send credit card details via email.
Rooms in Chamberlain Hall will be assigned on a first-come, first-served basis.

Grants

The Midlands Graduate School is supported by a grant from EPSRC. Only graduate students based in the UK are eligible for a grant. We will pay out moneys after the school, so everyone has to pay their registration fee (and accommodation costs) up-front. We will strive to use the money available to maximize participation in the School and for this reason cannot guarantee full reimbursement to anyone.


Paul Blain Levy
Last modified: Fri Feb 11, 2005