Departmental Colloquia Archive (1993–2011)
The Departmental Colloquium series was organised by Computer Science with talks given by invited speakers.
This series was superseded in 2011 by the new Swansea Distinginguished Lectures in Computer Science series.
Research teams within the department also organise their own seminar series.
19992000

Tuesday 2nd November 1999, 15:00, Seminar Room 322
Masako Takahashi (Tokyo Institute of Technology)
LambdaRepresentable Functions over Term Algebras

Tuesday 9th November 1999, 15:00, Seminar Room 322
Ulrich Berger (University of Wales Swansea)
Computability on Abstract Objects

Tuesday 30th November 1999, 15:00, Seminar Room 322
Martin Otto (University of Wales Swansea)
Issues in Algorithmic Model Theory for Specific Domains

Tuesday 7th December 1999, 15:00, Seminar Room 322
Colin Hirsch (University of Aachen, Germany)
The Guarded Fragment of FirstOrder Logic

Friday 17th December 1999, 10:30, Seminar Room 322
T.E.R. Jones (University of Plymouth)
ncontainer mixing and twofluid mixing

Wednesday 2nd February 2000, 15:00, Board Room
Reinhard Kahle (University of Tuebingen, Germany)
The proof theory of Frege structures

Friday 3rd March 2000, 10:00, Robert Recorde Room
Toshihiko Kurata (Tokyo Metropolitan University, Japan)
Combinatory representations of lambdacalculus

Tuesday 7th March 2000, 14:00, Robert Recorde Room
Jan Bergstra (University of Amsterdam, The Netherlands)
Program algebra

Friday 2nd June 2000, 14:00, Robert Recorde Room
David Lester (University of Manchester)
What is Exact Arithmetic?