[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
well.
http://www.cs.bham.ac.uk/~pbl/mgs/
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
http://www.cs.bham.ac.uk/~pbl/mgs/
for more details, and for a registration form.
See you there
Paul
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