[TYPES] Midlands Graduate School

Paul B Levy P.B.Levy at cs.bham.ac.uk
Fri Feb 18 12:24:19 EST 2005

Dear type theorists

On 11-15 April, at the University of Birmingham, the Midlands Graduate
School (a consortium of theoretical CS researchers at Birmingham,
Nottingham, Leicester and Warwick) will be holding a spring school.  It is
aimed at first-year PhD students, but is open to other participants as


The core courses will be

Category theory, Graham Hutton
Typed lambda-calculus, Paul Levy
Denotational semantics, Achim Jung

Students can select any combination of the following optional courses that
fits the schedule.

Programming stream

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

Logic and model-checking stream

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

Semantics stream

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

And all that for just £40.  University accommodation (£25 per night) can
also be booked. Too much?  Funding is available from EPSRC (UK) and APPSEM
(EU), see


for more details, and for a registration form.

See you there


P.S.  Students will also be able to attend a Workshop on Logic and Control
on 16 April, for an additional fee.  Details yet to be finalized.

More information about the Types-list mailing list