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

Tuesday 27th October 1998, 15:00, Seminar Room 322
Harold Simmons (University of Manchester)
Type Theoretic Constructions for Naming and Classifying Numeric Gadgets

Tuesday 3rd November 1998, 15:00, Seminar Room 322
Rajeev Raman (King's College, London)
Exploiting Architectural Factors in Sorting Algorithms

Tuesday 10th November 1998, 15:00, Seminar Room 322
Peter Wapperom (UniversitÃ© de Louvainlaneuve)
Nonisothermal Flow of Polymeric Fluids

Tuesday 24th November 1998, 15:00, Seminar Room 322
Matthew Hubbard (University of Reading)
Multidimensional Upwind Schemes for Conservation Laws

Tuesday 1st December 1998, 15:00, Seminar Room 322
Jeffery Zucker (McMaster University)
Abstract and Concrete Models of Computation on Metric Partial Algebras

Tuesday 8th December 1998, 15:00, Seminar Room 322
Xiaoming Zhang (IBM UK)
A Parallel Choleski Solver with Improved Scalabilities

Tuesday 19th January 1999, 15:00, Seminar Room 322
Graham Birtwistle (University of Leeds)
Specifying and Verifying TK

Tuesday 26th January 1999, 15:00, Seminar Room 322
Philip Scowcroft (Wesleyan University)
Decidability and Undecidability in the Theory of the Constructive Reals

Thursday 18th February 1999, 15:00, Seminar Room 322
Stan Wainer (University of Leeds)
Proof Theory and Complexity

Friday 26th February 1999, 15:00, Seminar Room 322
Neal Harman (University of Wales Swansea)
Models of Superscalar Microprocessors

Tuesday 2nd March 1999, 15:00, Seminar Room 322
John Tucker (University of Wales Swansea)
New Problems and Results on Equational Specification of Systems

Wednesday 3rd March 1999, 13:00, Seminar Room 322
Neal Harman (University of Wales Swansea)
Models of Superscalar Microprocessors II

Tuesday 9th March 1999, 15:00, Seminar Room 322
Wan Fokkink (University of Wales Swansea)
Within ARM's Reach: Compilation of Rewrite Systems

Tuesday 16th March 1999, 15:00, Seminar Room 322
Karen Stephenson (University of Wales Swansea)
An Algebraic Specification of an Interface Definition Language

Thursday 22nd April 1999, 15:00, Seminar Room 322
Dafydd Rees (University of Wales Swansea)
Formalising ObjectOriented Analysis

Wednesday 28th April 1999, 14:00, Seminar Room 322
Phil Grant (University of Wales Swansea)
Evolving Rules for Finite Element Mesh Generation