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, initially
in the Wessex region of England, later expanding to include Swansea, London, Cambridge and
the Midlands. 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 seminar has since expanded to include Cambridge, Imperial College, Queen Mary, Sussex and
Swansea. For 2008/9 Hewlett Packard Laboratories joined as an industrial
collaborator. From 2010/11 the Universities of Birmingham and Leicester also joined the Seminar,
and Altran Praxis has joined as an industrial collaborator.
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. This funding was
renewed for the academic year 2010/11.
The second meeting of the seminar took place at the University of Bath on 17th September 2008.
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 took place in Oxford on December 8th 2009.
The sixth meeting returned to Southampton on February 19th 2010.
The seventh meeting took place in Bath on April 14th 2010.
The eighth meeting took place in Bath on Tuesday 13th July 2010.
The ninth meeting took place in London on 4th November 2010.
The tenth meeting took place in Swansea on 7th April 2011.
The eleventh meeting took place in Leicester on 17th June 2011.
The twelfth meeting was held at QMUL on 15th September 2011.
The thirteenth meeting was held at Imperial College London on 6th October 2011.
The fourteenth meeting took place at the University of Bath on Wednesday 23rd May 2012.
The fifteenth meeting was held at the University of Birmingham on July 19th 2012.
The sixteenth meeting took place at Imperial College London on 29th August 2012.
The seventeenth meeting took place at QMUL on 20th September 2012.
The eighteenth meeting will return to Southampton on Tuesday, 15th January 2013.
The nineteenth meeting will take place in Swansea on Thursday, 24th January 2013.
The twentieth meeting took place in Bath on Friday, 1st March 2013. It was also the Workshop on Algebra, Coalgebra and Topology.
The 21st meeting will be held at Queen Mary, University of London on July 18th and 19th 2013, and is also the 8th Workshop on Games for Logic and Programming Languages (GaLoP VIII).
Each funded meeting has a budget of £350 to cover costs of speakers and participants, particularly students. Participants requiring support should inform Guy McCusker in advance. Participants from outside Bath should use the form linked below to make claims.
Expenses claim form for non-Bath participants