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.

Lent and Summer Term 2013

Other Algebraic Specification seminars