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

Tuesday 21st September 1993, 14:30, Seminar Room 322
Erik Palmgren (Uppsala University)
Nonstandard modelling of infinite computations

Tuesday 19th October 1993, 14:30, Seminar Room 322
Ivor GrattanGuinness (Middlesex University)
Living apart: algebraic logic versus mathematical logic, 18501910

Tuesday 2nd November 1993, 14:30, Seminar Room 322
Alan Gibbons (University of Warwick)
Problems on pairs of trees and the four colour problem of planar maps

Tuesday 9th November 1993, 14:30, Seminar Room 322
John Lloyd (University of Bristol)
Programming in Goedel

Thursday 18th November 1993, 14:30, Seminar Room 322
Ronan Sleep (University of East Anglia)
Term graph rewriting

Tuesday 23rd November 1993, 14:30, Seminar Room 322
Martin Thomas (Praxis plc, Bath)
The industrial relevance of theoretical computer science

Tuesday 30th November 1993, 14:30, Seminar Room 322
Huw Jones (Middlesex University)
Iterated function systems in the modelling of natural phenomena

Tuesday 7th December 1993, 14:30, Seminar Room 322
Samson Abramsky (Imperial College)
Full abstraction for PCF

Tuesday 25th January 1994, 14:30, Seminar Room 322
Cliff Jones (University of Manchester)
A concurrent objectbased design notation and its semantics

Tuesday 1st February 1994, 14:30, Seminar Room 322
Tony Hoare FRS (University of Oxford)
Models and algebra

Tuesday 8th February 1994, 14:30, Seminar Room 322
Matt Fairtlough (University of Sheffield)
The proof theory of Lax logic

Tuesday 1st March 1994, 14:30, Seminar Room 322
Stan Wainer (University of Leeds)
Ordinal bounds for programs

Tuesday 8th March 1994, 14:30, Seminar Room 322
John Vince (Hughes Ltd., Crawley)
Virtual reality techniques in flight simulation

Tuesday 15th March 1994, 14:30, Seminar Room 322
John Darlington (Imperial College)
Parallel application development using skeleton functions

Tuesday 26th April 1994, 14:30, Seminar Room 322
Ananda Manikam (University of Wales Swansea)
Inductive machine learning

Tuesday 3rd May 1994, 14:30, Seminar Room 322
Lincoln Wallen (University of Oxford)
Logic programming via proofvalued computations

Tuesday 10th May 1994, 14:30, Seminar Room 322
Tom Anderson (University of Newcastle upon Tyne)
Can software systems ever be safe? (Safety: truth and fibs)