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

Tuesday 4th October 1994, 14:30, Seminar Room 322
Magne Haveraaen (University of Bergen)
Sophus  a C++ library developed using algebraic techniques for solving partial differential equations

Thursday 6th October 1994, 14:30, Seminar Room 322
Magne Haveraaen (University of Bergen)
How to program parallel machines without knowing it

Tuesday 18th October 1994, 14:30, Seminar Room 322
Ralph Martin (University of Wales, Cardiff)
Capturing designers intentions from sketch input of 2D drawings

Tuesday 25th October 1994, 14:30, Seminar Room 322
Sarah Rees (University of Newcastle upon Tyne)
Finite state automata in group theory

Tuesday 1st November 1994, 14:30, Seminar Room 322
Keith Clark (Imperial College)
April: a language for implementing distributed agent based systems

Tuesday 8th November 1994, 14:30, Seminar Room 322
Colin Runciman (University of York)
Functional programs for embedded systems

Tuesday 15th November 1994, 14:30, Seminar Room 322
Marta Kwiatkowska (University of Birmingham)
Concurrency, fairness and complexity

Tuesday 22nd November 1994, 14:30, Seminar Room 322
Peter Jimack (University of Leeds)
Parallel and adaptive finite element algorithms for solving partial differential equations

Tuesday 29th November 1994, 14:30, Seminar Room 322
Mike Gordon FRS (University of Cambridge)
Mechanizing higher order logic on top of set theory

Tuesday 6th December 1994, 14:30, Seminar Room 322
Howard Barringer (University of Manchester)
Symbolic verification of deterministic machines

Tuesday 24th January 1995, 14:30, Seminar Room 322
Rick Thomas (University of Leicester)
Formal languages and the word problem for groups

Tuesday 31st January 1995, 14:30, Seminar Room 322
Antony Galton (University of Exeter)
How to get rid of unwanted fuzz

Wednesday 8th February 1995, 14:30, Seminar Room 322
Mathai Joseph (University of Warwick)
Using transformations for proving timing and faulttolerance properties of programs

Friday 10th February 1995, 14:30, Seminar Room 322
ErnstRudiger Olderog (University of Oldenburg)
Design of realtime systems: from requirements to programs

Tuesday 28th February 1995, 14:30, Seminar Room 322
KungKiu Lau (University of Manchester)
Software engineering, objectoriented programming, and logic program synthesis

Tuesday 7th March 1995, 14:30, Seminar Room 322
Hugh Glaser (University of Southampton)
Distributed Prograph

Tuesday 14th March 1995, 14:30, Seminar Room 322
Graham Megson (University of Newcastle)
Nonlinear scheduling and allocation in regular arrays: a genetic algorithm approach

Tuesday 23rd May 1995, 14:30, Seminar Room 322
Sachio Hirokawa (University of Wales Swansea and Kyushu University)
Teaching a computer how to read data structure

Thursday 25th May 1995, 14:30, Seminar Room 322
Zoe Lacroix (Universite de ParisSud and INRIA)
Generalized implicit definitions on finite structures

Tuesday 4th July 1995, 14:30, Seminar Room 322
Steffen van Bakel (University of Turin)
Intersection types for lambda calculus and term rewriting systems