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.