Departmental Seminars

This is a patchy historical record of seminars that have taken place in the Department from 1996-2002. From 2003 the departmental seminar series was integrated into the colloquium series and group seminars.

• Thursday 7th November 2002, 14:00, Robert Recorde Room
  Anton Setzer (Swansea University)
  Java as a functional programming language
  
  
• Thursday 11th July 2002, 14:00, Robert Recorde Room
  Ulrich Berger (Swansea University)
  A domain-theoretic realization of the classical axiom of countable choice
  
  
• Thursday 16th May 2002, 14:00, Robert Recorde Room
  Neal Harman (Swansea University)
  Correctness and Verification of Microprocessors
  
  
• Tuesday 26th March 2002, 14:00, Robert Recorde Room
  Ulrich Berger (Swansea University)
  While-programs are Turing-incomplete for non-strict oracles
  
  
• Thursday 21st March 2002, 14:00, Robert Recorde Room
  Oliver Kullmann (Swansea University)
  Phase transitions and thresholds, the Advanced Encryption Standard (AES), databases for combinatorial problems, and heuristics for SAT solvers (III)
  
  
• Tuesday 19th March 2002, 14:00, Robert Recorde Room
  Oliver Kullmann (Swansea University)
  Phase transitions and thresholds, the Advanced Encryption Standard (AES), databases for combinatorial problems, and heuristics for SAT solvers (II)
  
  
• Tuesday 12th March 2002, 14:00, Robert Recorde Room
  Oliver Kullmann (Swansea University)
  Phase transitions and thresholds, the Advanced Encryption Standard (AES), databases for combinatorial problems, and heuristics for SAT solvers
  
  
• Thursday 7th March 2002, 14:00, Robert Recorde Room
  Faron Moller (Swansea University)
  Lower bounds for equivalence checking one-counter automata
  
  
• Tuesday 11th December 2001, 14:00, Board Room
  Paulo Oliva (BRICS, Ã…rhus, visiting Swansea)
  On the relation between modified bar recursion and other bar recursive definitions
  
  
• Tuesday 30th October 2001, 14:00, Robert Recorde Room
  Peter G. Hinman (University of Michigan, visiting Swansea)
  Density of Medvedev degrees of Pi^0_1-classes
  
  
• Thursday 18th October 2001, 14:00, Board Room
  J. Roger Hindley (Swansea University)
  The early days of combinators and lambda calculus
  
  
• Tuesday 2nd October 2001, 14:00, Robert Recorde Room
  Anton Setzer (Swansea University)
  Interactive Programs in Dependent Type Theory (Cont.)
  
  
• Thursday 27th September 2001, 14:00, Robert Recorde Room
  Anton Setzer (Swansea University)
  Interactive Programs in Dependent Type Theory
  
  
• Tuesday 18th September 2001, 14:00, Robert Recorde Room
  Oliver Kullmann (Swansea University)
  Generalized satisfiability problems
  
  
• Tuesday 11th September 2001, 14:00, Board Room
  Jens Blanck (Swansea University)
  On exact real arithmetic
  
  
• Thursday 5th July 2001, 14:00, Board Room
  Peter Hancock ()
  How to Program a Cruise Missile in Martin-Loef Type Theory
  
  
• Thursday 7th June 2001, 14:00, Robert Recorde Room
  Dave Rodgman (Swansea University)
  Refraction in Discrete Ray Tracing
  
  
• Thursday 7th June 2001, 14:00, Robert Recorde Room
  Andrew Winter (Swansea University)
  A Volume Graphics API
  
  
• Thursday 7th June 2001, 14:00, Robert Recorde Room
  Richard Satherley (Swansea University)
  Hybrid Distance Field Computation for Volumetric Datasets
  
  
• Thursday 10th May 2001, 14:00, Robert Recorde Room
  Simon Hands (Swansea University)
  Supercomputing Quarks
  
  
• Thursday 8th March 2001, 14:00, Robert Recorde Room
  Ulrich Berger (Swansea University)
  On the computational content of the axiom of choice
  
  
• Tuesday 20th February 2001, 14:00, Robert Recorde Room
  Jens Blanck (Swansea University)
  Effectivity of regular spaces
  
  
• Thursday 15th February 2001, 14:00, Robert Recorde Room
  Peter Hancock ()
  Machine-checked wellordering-proofs
  
  
• Thursday 23rd November 2000, 14:00, Robert Recorde Room
  Jens Blanck (Swansea University)
  Domain theory and CVG
  
  
• Thursday 12th October 2000, 14:00, Robert Recorde Room
  Monika Seisenberger (University of Munich)
  Computer Demo: Interactive theorem proving and program synthesis
  
  
• Thursday 14th September 2000, 14:00, Robert Recorde Room
  Rafal Somla (Uppsala University)
  On the expressive power of CTL*
  
  
• Thursday 9th December 1999, 15:00, Seminar Room 322
  Neal Harman (Swansea University)
  Microprocessor Verification in Maude
  
  
• Thursday 5th December 1996, 14:30, Seminar Room 322
  Kristian Stewart (University of Wales Swansea)
  to be announced
  
  
• Thursday 21st November 1996, 14:30, Seminar Room 322
  Jason Anderson (University of Wales Swansea)
  Intelligent Agents within the Concurrent Engineering Design Arena
  
  
• Thursday 14th November 1996, 14:30, Seminar Room 322
  Simon Michael (University of Wales Swansea)
  to be announced
  
  
• Thursday 7th November 1996, 14:30, Seminar Room 322
  Adrian Leu (University of Wales Swansea)
  Multi Volume Rendering on Distributed Memory Architectures
  
  
• Thursday 31st October 1996, 14:30, Seminar Room 322
  Anthony Fox (University of Wales Swansea)
  Algebraic Modelling of Microprocessors
  
  
• Thursday 24th October 1996, 14:30, Seminar Room 322
  Dafydd Rees (University of Wales Swansea)
  An Algebraic Approach to Distributed Object Computing