Dear all,
The MGS Christmas Seminars take place in Nottingham next Tuesday.
Everyone is welcome to come along and join in the fun! Please
feel free to pass this message on to your colleagues.
Best wishes,
Graham
+--------------------------------------------------------------------+
Midlands Graduate School in the Foundations of Computing Science
CHRISTMAS SEMINARS
Tuesday 16th December 2008
University of Nottingham
In addition to its yearly 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 : Proof Theory, Semantics, and Operating Systems
Peter O'Hearn, Queen Mary, University of London
3.30 - 4.15 : Shedding Light on Obscure Terms in Rewriting
Fer-Jan de Vries, University of Leicester
4.15 - 5.00 : The Construction of Infinity
Venanzio Capretta, University of Nottingham
FURTHER INFOROMATION
http://www.cs.nott.ac.uk/~gmh/mgs08.html
+--------------------------------------------------------------------+
| Graham Hutton Email : [log in to unmask] |
| Functional Programming Lab |
| School of Computer Science Web : www.cs.nott.ac.uk/~gmh |
| University of Nottingham |
| Jubilee Campus, Wollaton Road Phone : +44 (0)115 951 4220 |
| Nottingham NG8 1BB, UK |
+--------------------------------------------------------------------+
This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.
