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.
20012002

Tuesday 16th October 2001, 14:00, Robert Recorde Room
Peter G. Hinman (University of Michigan)
Relative computability for sets of sets

Thursday 25th October 2001, 14:00, Robert Recorde Room
Christopher Jones (Cardiff)
Geographical Information Retrieval with Ontologies of Place

Thursday 1st November 2001, 14:00, Robert Recorde Room
Dave Marshall (Cardiff)
Reverse Engineering of CAD Models from 3D range data

Tuesday 6th November 2001, 14:00, Robert Recorde Room
Anuj Dawar (Cambridge)
An Introduction to Quantum Computing

Thursday 15th November 2001, 14:00, Robert Recorde Room
Iain Stewart (Leicester)
Computation on finite structures and Lindstroem logics, zeroone laws and dynamic logics

Friday 23rd November 2001, 14:00, Robert Recorde Room
Bhavani Thuraisingham (NSF, Arlington, VA, USA)
Data Mining: Developments and Directions

Tuesday 27th November 2001, 14:00, Robert Recorde Room
Stan Wainer (Leeds)
$\Pi^0_2$ Induction and Exponential Time

Tuesday 4th December 2001, 14:00, Robert Recorde Room
Eike Ritter (Birmingham)
Strong normalisation for explicit substitutions

Thursday 13th December 2001, 13:00, Robert Recorde Room
Thorsten Altenkirch (Nottingham)
Functions for free. Representations of first order function types as terminal coalgebras

Tuesday 29th January 2002, 14:00, Robert Recorde Room
Jan Bergstra (Amsterdam)
Molecular programming: from program algebra to Java

Tuesday 5th February 2002, 14:00, Robert Recorde Room
Wilfrid Hodges (QueenMary, University of London)
Imperfect information and clashes between syntactic and semantic scope

Tuesday 19th February 2002, 14:00, Robert Recorde Room
Julian Bradfield (Edinburgh)
Modelchecking: from real life to mathematics

Wednesday 20th February 2002, 14:00, Board Room
Julian Bradfield (Edinburgh)
Enriching OCL using observational mucalculus

Tuesday 26th February 2002, 14:00, Robert Recorde Room
David Walker (Cardiff)
PSEs and The Grid: More Than Just a Pretty (Inter)Face

Thursday 14th March 2002, 15:00, Robert Recorde Room
Boris Mirkin (Birbeck College, London)
Two models for single cluster clustering

Tuesday 26th March 2002, 14:00, Robert Recorde Room
Ulrich Berger (Swansea University)
Whileprograms are Turingincomplete for nonstrict oracles

Tuesday 14th May 2002, 14:00, Robert Recorde Room
Stephan ReiffMarganiec (Stirling)
Telecommunication Services  What's the big Deal?

Tuesday 11th June 2002, 14:00, Robert Recorde Room
Andy Gordon (Microsoft Research, Cambridge)
Types and effects for asymmetric cryptographic protocols

Thursday 20th June 2002, 14:00, Robert Recorde Room
Luca Cardelli (Microsoft Research, Cambridge)
A Spatial Logic for Concurrency (joint work with Luis Caires)

Thursday 11th July 2002, 14:00, Robert Recorde Room
Ulrich Berger (Swansea University)
A domaintheoretic realization of the classical axiom of countable choice