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.