See also the Tuesday Morning Seminars.
| Date | Speaker | Topic |
| May 30 | Songtaio Xia | |
| May 23 | Andrew Tolmach | A Monadic Semantics for Core Curry (abstract) |
| May 2 | Mark P Jones and Philip Quitslund | Sweet Talk |
| April 18 | Magnus Carlsson | Monads for Selective Memoization |
| April 11 | Andy Gill | The Timber Compiler (abstract) |
| Mar 14, 2003 | Thomas Hallgren | Half-baked slices of Haskell |
| Feb 14, 2003 | Nathan Linger | Binding-Time Analysis via Type Inference and Constraint Solving (abstract) |
| Feb 7, 2003 | Peter Thiemann | Type errors |
| Jan 24, 2003 | John Matthews | Reading group: Evaluation logic by Andrew Pitts (abstract) |
| Jan 17, 2003 | Magnus Carlsson | Value recursion in the continuation monad, part III (abstract) |
| Dec 20, 2002 | Andrew Black | Traits: Composable Units of Behaviour |
| Dec 13, 2002 | John Matthews | Reading group: Language-Based Information-Flow Security, continued |
| Dec 6, 2002 | John Matthews | Reading group: Language-Based Information-Flow Security, by Andrei Sabelfeld and Andrew C Myers (abstract, paper on CiteSeer) |
| Nov 15, 2002 | Peter Thiemann | RMS: A Robust Mail Storage System (abstract) |
| Nov 8, 2002 | Iavor Diatchki | Highlight from ICFP: Composing Monads using Coproducts |
| Nov 1, 2002 | Magnus Carlsson | Highlight from ICFP: Vital: interactive, spreadsheet-like programming in Haskell |
| Oct 25, 2002 | Tim Sheard and Emir Pasalic | IT'S SOOO COOOL! Tagless interpreters for typed lambda calculus in Haskell |
| Oct 18, 2002 | Mark Jones | Wheel Research discussion |
| Sep 27, 2002 | Thomas Hallgren | I/O in Pure Functional Languages: past, present (and future?) |
| 10.30am Aug 30, 2002 | Magnus Carlsson | A Monad for Fixpoint iterations |
| Aug 23, 2002 | Songtao Xia | Thesis proposal (in Willamette) |
| Thu Aug 8, 2002, 10am | Magnus Carlsson | Algebraic Dynamic Programming, Revisited |
| Jul 19, 2002 | Tim Sheard | Algebraic Dynamic Programming |
| June 7, 2002 | Sava Kristic and Sylvain Conchon | TBA |
| May 31, 2002 | Magnus Carlsson | Haskell as a calculator for solving linear equations (abstract) |
| May 24, 2002 | Mark P Jones | A Domain Specific Language for Component Configuration (abstract) |
| May 10, 2002 | Tom Melhan | A Stream-Based Framework for Reasoning with STE and other LTL Verification Formalisms (abstract) |
| May 3, 2002 | Andy Gill | Capturing Pure Functions using Side-Effects (abstract) |
| Apr 19, 2002 | Crista Lopes | Aspect-Oriented Programming |
| Mar 22, 2002 | Pete Tucker | Punctuated Data Streams |
| Mar 15, 2002, 1.00pm | Thomas Nordin | BDD Equivalence Checking in Haskell |
| Mar 1, 2002, 1.00pm | Tim Sheard | Search-Based Binding Time Analysis using Type-Directed Pruning |
| Feb 22, 2002 | Luca Abeni | Real-time Scheduling |