Dear Colleagues,
The Midlands Graduate School in the Foundations of Computing Science is an annual research training event for PhD students in theoretical computer science. This year's MGS Christmas Seminars take place in Sheffield next Tuesday.
Everyone is welcome to come along. Please feel free to pass this message on to your colleagues.
Best wishes,
Georg Struth
+--------------------------------------------------------------------+
Midlands Graduate School in the Foundations of Computing Science
CHRISTMAS SEMINARS
Tuesday 15th December 2009
University of Sheffield
In addition to its annual programme of taught courses on the mathematical foundations of computing, the Midlands Graduate School holds an afternoon of Christmas Seminars. The seminars are free, open to everyone, and no registration is required.
PROGRAMME
2.00 - 3.00 : Proving that Programs Eventually Do Something Good
Byron Cook (Microsoft Research Cambridge and
Queen Mary, London)
3.30 - 4.15 : On Universal Algebra over Nominal Sets
Alexander Kurz (Leicester)
4.15 - 5.00 : Membrane Computing
Marian Gheorghe (Sheffield)
5.00 - 5.45 : Total Parser Combinators
Nils Anders Danielsson (Nottingham)
FURTHER INFOROMATION
http://www.dcs.shef.ac.uk/~georg/mgs_xmas09.html
|