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

Thursday 14th September 2000, 14:00, Robert Recorde Room
Ulrich Berger (Swansea University)
On the computational content of the axiom of choice

Thursday 21st September 2000, 14:00, Robert Recorde Room
Peter Hertling (University of Hagen, Germany)
Computability and Continuity of Real Number Functions

Tuesday 26th September 2000, 14:00, Robert Recorde Room
Achim Jung (University of Birmingham)
On Harold Simmons's Theory of Lax Limits

Tuesday 10th October 2000, 14:00, Robert Recorde Room
Monika Seisenberger (University of Munich)
Constructive Proofs of Kruskal's Theorem

Tuesday 17th October 2000, 14:00, Robert Recorde Room
Alexander Rabinovich (University of Edinburgh)
An Infinite Hierarchy of Temporal Logics over Branching Time

Tuesday 28th November 2000, 14:00, Robert Recorde Room
Martin Escardo (University of Birmingham)
Higherorder exact real number computation with Real PCF

Tuesday 5th December 2000, 14:00, Robert Recorde Room
David Duke (University of Bath)
Visualisation: Linking Computation with Cognition

Tuesday 30th January 2001, 14:00, Robert Recorde Room
Michel Schellekens (University of Cork)
Quantitative Domain Theory

Tuesday 13th February 2001, 14:00, Robert Recorde Room
Bernhard Reus (University of Sussex)
A HoareCalculus for an ObjectOriented Language

Thursday 22nd February 2001, 14:00, Robert Recorde Room
Thorsten Altenkirch (University of Nottingham)
Use semantics to show properties of syntax

Tuesday 27th February 2001, 14:00, Board Room
Ian Hodkinson (Imperial College)
Varieties of algebras of relations

Tuesday 6th March 2001, 14:00, Robert Recorde Room
Antonin Kucera (Masaryk University Brno, Czech Republic)
ModelChecking LTL with Pushdown Systems

Tuesday 13th March 2001, 14:00, Robert Recorde Room
David Pym (Queen Mary and Westfield College)

Tuesday 20th March 2001, 14:00, Robert Recorde Room
Jiang Lun Wu (University of Wales Swansea)
Hyperfinite nonstandard model and its application

Tuesday 3rd April 2001, 14:00, Robert Recorde Room
Petr Jancar (University of Ostrava, Czech Republic)
Some techniques used to solve decidability and complexity questions for bisimulationlike equivalences

Tuesday 5th June 2001, 14:00, Robert Recorde Room
Martin Otto (Swansea University)
Finite conformal hypergraph covers with two applications

Saturday 9th June 2001, 14:00, Board Room
Tony Davies (BT Electronical Commerce Innovation Centre, University of Wales Cardiff)
eCommerce Progress in Wales