Swansea Algebraic Specification Seminar Series
The Swansea Algebraic Specification Seminar provides a forum to discuss the theory of data types and its applications. Talks are given by local and invited speakers. All are welcome to attend.
Location: Usually in the Computer Science Board Room, Faraday Tower, 3rd floor.
The series dates back to May 2003, but it is only since May 2006 that data has been entered into the present website.
Michaelmas Term 2014
Other Algebraic Specification seminars
Michaelmas Term 2012
Lent and Summer Term 2012
Lent and Summer Term 2011
Lent and Summer Term 2009
Lent and Summer Term 2008
Lent and Summer Term 2007
Michaelmas Term 2006