The Wiki will be unavailable between 07:00 and 09:00 on Tuesday, 19th June 2018, due to maintenance.
Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 11 Next »

This is a wiki for the Wessex Theory Seminar. The seminar is designed to be a joint seminar
of Mathematics and Computer Science departments, and industrial collaborators, broadly
in the Wessex region of England. The focus of the seminar is on Theoretical Computer
Science, in particular relating to the mathematical foundations of programming languages.

The universities founding the seminar were Bath, Oxford, and Southampton, with the inaugural meeting
of the seminar hosted by the University of Southampton on 2 July 2008.

The founding site leaders were Profs Guy McCusker, Vladimiro Sassone, and Luke Ong respectively.

The seminar has since expanded to include Cambridge, Imperial College, Queen Mary, Swansea
and Sussex, with site leaders Prof Martin Hyland, Dr Philippa Gardner, Prof Peter O'Hearn, Dr Monika
Seisenberger and Dr Bernhard Reus. Hewlett Packard Laboratories has joined as an industrial
collaborator, with site leader Prof David Pym. The second meeting of the seminar will be held in Bath on
17 September 2008.

  • No labels