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 24 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, Luke Ong and Vladimiro Sassone respectively.

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

On January 15th 2009 we heard that the London Mathematical Society had approved funding of £1400
for the Seminar for one year, to assist with travel costs for four meetings. (The internal code for this account is CM-1019.)

The third meeting of the seminar took place on Tuesday 3rd and Wednesday 4th March, co-located
between Bath (3rd March) and Swansea (4th March).

The fourth meeting took place at Swansea on October 29th 2009.

The fifth meeting will take place in Oxford on December 8th 2009.

Future Meetings

The following meetings are planned:

  • Southampton, January 2010: Julian Rathke has offered to host a meeting.
  • London, February or March 2010: Philippa Gardner and Dirk Pattinson offer to organise a meeting in London
  • No labels