Alexander Kurz | 4 Feb 11:22 2013
Picon
Picon

Call for Registration: MGS Spring School

*************************************************************
Midlands Graduate School 2013 in the Foundations of Computing
*************************************************************

The Midlands Graduate School is taking place

  8 - 12 April 2013 at the University of Leicester, UK.

EARLY REGISTRATION UNTIL 8th FEB at

  http://www.cs.le.ac.uk/events/mgs2013/

The early registration fee is 520 GBP and covers accommodation, meals,
and lectures.

The School provides an intensive course of lectures on the Foundations
of Computing. It is very well established, having run annually for
10 years, and has always proved a popular and successful event.
This year we have Philip Wadler, University of Edinburgh, as guest lecturer.

Natasha Alechina,   Modal Logic
Venanzio Capretta,  Coalgebras and Infinite Data Structures
Paul Levy, Typed Lambda-Calculus
Brian Logan, Multi-agent programming
Uday Reddy, Category Theory
Eike Ritter, Security and applied pi-calculus
Georg Struth, Kleene Algebra
Rick Thomas, Formal Languages and Group Theory
Philip Wadler, tba

(Continue reading)


Gmane