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

Thursday 10th October 2002, 14:00, Robert Recorde Room
René Vestergaard (JAIST  Japan Advanced Institute of Science and Technology, Ishikawa)
Structural Induction and the lambdaCalculus

Tuesday 15th October 2002, 14:00, Robert Recorde Room
David Pym (Bath)
A Semantics for Reductive Logic and Proofsearch

Tuesday 29th October 2002, 14:00, Robert Recorde Room
Conor McBride (Durham)
Generic Programming within Dependently Typed Programming.

Thursday 31st October 2002, 14:00, Robert Recorde Room
Andy Hopper (Cambridge)
Sentient Computing

Tuesday 5th November 2002, 14:00, Robert Recorde Room
Bakhadyr Khoussainov (University of Auckland, New Zealand)
On the power of algebraic specifications

Tuesday 12th November 2002, 14:00, Robert Recorde Room
Perdita Stevens (Edinburgh)
Playing games with UML tools

Thursday 28th November 2002, 14:00, Robert Recorde Room
Graham Finlayson (University of East Anglia, Norwich)
All wavelengths are equal but some are more equal than others.

Tuesday 3rd December 2002, 14:00, Robert Recorde Room
Reyer Zwiggelaar (University of East Anglia, Norwich)
ScaleOrientation Space

Thursday 5th December 2002, 14:00, Robert Recorde Room
John Brooke (Manchester)
RealityGrid: A Distributed Reality Centre on the Grid.

Tuesday 10th December 2002, 14:00, Robert Recorde Room
Tom Troscianko (Bristol)
Psychophysics of Natural Images

Friday 31st January 2003, 14:00, Robert Recorde Room
Felix Joachimski (Munich, visiting Bristol)
Continuous Normalization

Tuesday 4th February 2003, 14:00, Robert Recorde Room
Martin CampbellKelly (Warwick)
The Rise and Rise of the Spreadsheet

Tuesday 11th February 2003, 14:00, Robert Recorde Room
Markus Roggenbach (Bremen)
CSPCASL  A new Integration of Process Algebra and Algebraic Specification

Tuesday 4th March 2003, 14:00, Robert Recorde Room
Anton Setzer (Swansea)
An implementation of algebraic data types in Java using the visitor pattern

Tuesday 11th March 2003, 14:00, Robert Recorde Room
Steve Schneider (Royal Holloway)
CSPB  A New Composition of Process Algebra and Statebased Specification

Thursday 13th March 2003, 14:00, Robert Recorde Room
Oliver Kullmann (Swansea)
Conflicts, propositional logic and linear algebra

Monday 17th March 2003, 14:00, Robert Recorde Room
Ulrich Berger (Swansea)
Teaching functional programming through Multimedia

Thursday 20th March 2003, 14:00, Robert Recorde Room
Marco Mazzucco (Swansea)
Validating streaming XML documents.

Tuesday 6th May 2003, 14:00, Robert Recorde Room
Harold Simmons (Manchester University)
Forms of Recursion

Wednesday 7th May 2003, 14:00, Robert Recorde Room
Harold Simmons (Manchester University)
Notations for Iterations (Panzerdivision proof theory done properly)

Thursday 8th May 2003, 14:00, Robert Recorde Room
Erich Grädel (Aachen)
Model checking games

Tuesday 20th May 2003, 14:00, Robert Recorde Room
Harold Thimbleby (University College London Interaction Centre (UCLIC))
Surviving culture clash!

Tuesday 27th May 2003, 14:00, Robert Recorde Room
Alan Frisch (York University)
Solving NonBoolean Satisfiability Problems

Thursday 29th May 2003, 14:00, Robert Recorde Room
Peter Hancock (Edinburgh University)
Interfaces, components, formal spaces and continuous functions

Tuesday 3rd June 2003, 14:00, Robert Recorde Room
Andrew Simpson (Oxford University)
eDiaMoND: towards a national database for digital mammograms

Thursday 5th June 2003, 15:00, Robert Recorde Room
Peter Aczel
Nested Data Types in polymorphic type theory and dependent type theory

Tuesday 24th June 2003, 14:00, Robert Recorde Room
Toby Walsh (Cork, Ireland)
Local consistencies in SAT

Wednesday 25th June 2003, 12:00, Robert Recorde Room
Matthew Collinson (Manchester University)
Transition Structures and Topologies

Tuesday 1st July 2003, 14:00, Robert Recorde Room
Lyndon Drake (York University)
Inference and search for the propositional satisfiability problem

Tuesday 15th July 2003, 14:00, Robert Recorde Room
Dieter Spreen (Siegen)
The Largest Cartesian Closed Category of Domains, Considered Constructively