[Haskell] Midlands Graduate School

[N Ghani]

Dear Functional Programmers

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, Martin Escardo
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
Contro l on 16 April, for an additional fee.  Details yet to be
finalized.