Samson Abramsky | A Cooks Tour of the Finitary Non-Well-Founded Sets | 1988 |

Peter Aczel | Formalising Abstract Algebra in Constructive Type Theory | 1996 |

Martyn Amos | The Complexity and Viability of DNA Computation | 1997 |

Alberto Apostolico | Parallel Algorithms on Words | 1989 |

Malcolm Atkinson | The Capability of Priority Queues as Data Transformers | 1993 |

Roland Backhouse | Making Formalism Work for Us | 1989 |

Roland Backhouse | Games for Algorithmic Problem Solving | 2005 |

Jose Luis Balcazar | The Structural Approach to Complexity Theory | 1992 |

Henk Barendregt | Feasible Full Formalisation | 1991 |

Howard Barringer | The Future of Imperative Logic | 1990 |

Trevor Bench-Capon | Machines Can't Think | 1997 |

Richard Bird | Relational Program Derivation | 1994 |

Graham Birtwistle | Specifying and Verifying AMULET in CCS | 1996 |

David Bree | The Semantics of Natural Language Temporal Prepositions and Conjunctions | 1994 |

Ed Brinksma | Formal Models for Testing: An Interaction between Theory and Practice | 1996 |

Hajo Broersma | TBA | 2006 |

Alan Bundy | Automatic Generation of Program Synthesis Proofs | 1991 |

Rod Burstall | Teaching Logic to Programmers | 1998 |

Muffy Calder | A Day in the Life of a Spin Doctor | 2001 |

Luca Cardelli | Membrane Interactions | 2004 |

Richard Cole | A Promising Approach to Complexity Measures for Computation over Splay Trees | 1989 |

Robert Cori | Building Automata with Time Stamps | 1994 |

Sharon Curtis | Functional Fractal Image Compression | 2004 |

John Davenport | Is Computer Algebra the Same as Computer Symbolic Mathematics? | 1998 |

Neil Davies | Engineering with Randomness | 2002 |

Anuj Dawar | Complexity as Expressive Power | 2002 |

Jaco de Bakker | Metric Semantics | 1995 |

John Dixon | Computations in Galois Theory | 1989 |

Paul Dunne | Introduction to Boolean Function Complexity | 1994 |

Paul Dunne | An Overview of Lower Bound Techniques in Monotone Boolean Function Complexity | 1997 |

Paul Dunne | Computational Problems (Some Directions but No Solutions) | 2000 |

Martin Dyer | Volume and Related Computational Problems | 1991 |

Abbas Edalat | Exact Real Number Computation Using Linear Fractional Transformations | 1998 |

Javier Esparza | Model-Checking Pushdown Automata | 1997 |

Matthew Fairtlough | Abstraction, Constraints and the Lambda Calculus | 1997 |

Jose Fiadeiro | Software Architectures in 3D | 2004 |

Philippe Flajolet | Some Recent Trends in the Average-Case Analysis of Algorithms | 1990 |

Wan Fokkink | Within ARMs Reach: Compilation of Rewrite Systems | 1999 |

Ian Gent | Two Become One: Theory and Experiment | 1998 |

Alan Gibbons | Implementing P-RAM Algorithms on Distributed Memory Models of Parallel Pomputation | 1992 |

Alan Gibbons | The Soft Machines: Computing with the Code of Life | 2005 |

Joseph Goguen | Object Oriented Programming as a Natural Extension of Functional Programming | 1989 |

Leslie Goldberg | Contention Resolution in Multiple-Access Channels | 1998 |

Shafi Goldwasser | Zero Knowledge Interactive Proofs | 1990 |

Andrew Gordon | Samoa: Formal Tools for Securing Web Services | 2005 |

Mike Gordon | Event and Cycle Semantics of Hardware Description Languages | 1997 |

Yuri Gurevich | Evolving Algebras | 1992 |

Keith Hanna | Reasoning about Digital Systems | 1996 |

Jan Heering | Algebraic Specifications and Proofs by Induction | 1995 |

Matthew Hennessy | Higher-Order Processes and Their Models | 1995 |

Roger Hindley | The Coppo-Denzani Type System | 1989 |

Roger Hindley | Counting the Inhabitants of a Type | 1995 |

Ralf Hinze | Number Systems and Data Structures | 2005 |

Tony Hoare | TBA | 2006 |

Wilfred Hodges | The Logical Background to Specification | 1992 |

Martin Hofmann | Linear Types and Non-Size Increasing Polynomial Time Computation | 1999 |

Mike Holcombe | X-Machines - What Are They? | 1994 |

Furio Honsell | The Edinburgh LF - A Framework for Describing Logical Systems | 1988 |

John Hughes | Naturality, Polymorphism and Compile-Time Analysis | 1991 |

Martin Hyland | Synthetic Domain Theory - The Story So Far | 1990 |

Rob Irving | Fifty Years of Stable Marriage | 2004 |

Mark Jerrum | The Computational Complexity of Counting | 1994 |

Cliff Jones | Interference Resumed | 1991 |

Achim Jung | Probabilities in Semantics - Some Progress, Some Open Problems | 2003 |

Demetres Kouvatsos | An Extended Analytic Methodology for Arbitrary Queueing Networks | 2002 |

Bill Lawvere | The Boolean Algebra Classifying Topos and the Complexity of Finite Automata | 2003 |

Chris Lengauer | Systolic Design and Systolising Compilation | 1990 |

John Lloyd | Current Theoretical Issues in Logic Programming | 1989 |

John Lloyd | Declarative Logic Programming | 1993 |

Bill McColl | BSP Computing | 1999 |

Angus MacIntyre | Connections between Model Theory and Volume Estimates | 1998 |

Tom Maibaum | Design Structures: Configuring Specifications | 1992 |

Ursula Martin | What Can You Do with an Equational Reasoning Theorem Prover? | 1990 |

Ursula Martin | The Princess and the Plumber: The Role of Mathematics in Computer Science | 1996 |

Ursula Martin | Computational Math: The Bew Challenge for Computational Logic | 2001 |

Brian McBride | A Tail of a Dog | 2002 |

Conor McBride | Dependently Typed Programming: An Epigram Induction | 2005 |

Kurt Mehlhorn | Certifying Algorithms | 2003 |

Robin Milner | What Use are Process Algebras? | 1988 |

Robin Milner | Biographical Reactive Systems | 2002 |

Faron Moller | The Computational Complexity of Bisimilarity | 1995 |

Faron Moller | Techniques for Decidability and Undecidability for Bisimilarity (Tutorial) | 2001 |

Peter Mosses | TBA | 2006 |

S Muthu Muthukrishnan | Data Stream Algorithmics | 2003 |

Rachel Norman | Modelling of Biological Systems (Tutorial) | 2004 |

Colm O'Dunlaing | Computational Problems in Geometry | 1991 |

Luke Ong | Game Semantics | 1998 |

Joachim Parrow | An Introduction to the pi-Calculus (Tutorial) | 2001 |

Mike Paterson | Getting your Message Across, but Nicely: An Introduction to Contention Resolution | 2001 |

Simon Peyton-Jones | Asynchronous Exceptions in Concurrent Haskell | 2001 |

Jean-Eric Pin | Logic and Automata | 2003 |

Gordon Plotkin | A Logic for Parametric Polymorphism | 1993 |

Ian Pratt | Qualitative Spatial Reasoning and the Semantic Knife-Edge | 1999 |

David Pym | Reasource Semantics, Bunched Logic and a Relevant Logical Framework | 1999 |

Alexander Rabinovich | Temporal Logic over Branching Time: Expressiveness and Complexity | 2001 |

Rajeev Raman | Succinctness | 2005 |

Edmund Robertson | Combinatorial and Decidability Questions in Semigroups of Words | 1997 |

Edmund Robinson | Logic and Logical Relations | 1997 |

Grzegorz Rozenberg | DNA Computing In Vivo - Gene Assembly in Ciliates | 2000 |

David Rydeheard | Category Theory and Game Semantics | 1995 |

John Savage | VLSI Analysis, Synthesis and Theory | 1992 |

Michiel Smid | Spanners: Approximating the Complete Euclidean Graph | 1996 |

Mike Smyth | The Thesis that Computable Functions are Uniformly Continuous | 1989 |

Paul Spirakis | Paradigms for Fast Parallel Approximations to Problems that are Hard to Parallelise | 1994 |

Paul Spirakis | Algorithmic Aspects of Game Theory | 2002 |

Iain Stewart | Descriptive Complexity Theory | 1995 |

Jean-Marc Steyaert | On the Average Complexity of Rewriting Systems | 1993 |

Colin Stirling | Verification via Model Checking | 1992 |

Carl Sturtivant | Some Issues in Algebraic Complexity | 1991 |

Bob Tennant | Correctness of Data Representations in Algol-Like Languages | 1993 |

Rick Thomas | Syntactic Monoids - A Survey | 1998 |

Rick Thomas | Formal Languages and Word Problems of Groups (Tutorial) | 2004 |

Chris Tofts | Ants, Shrimps, and Other Asynchronous Hardware | 1997 |

Jacobo Toran | On the Complexity of the Graph Isomorphism Problem | 1996 |

John Tucker | Synchronous Concurrent Algorithms | 1995 |

John Tucker | Computable and Hierarchical Models of Physical Systems | 2002 |

David Turner | Total Functional Programming | 1996 |

Ken Turner | Test Generation for Radiotherapy Accelerators | 2004 |

Leslie Valiant | Computationally Feasible Learning | 1988 |

Leslie Valiant | Robust Logic | 2000 |

Brigitte Vallee | Algorithms for Integer Factorization | 1991 |

Moshe Vardi | TBA | 2006 |

Lincoln Wallen | From Proof Theory to Proof Search: Some Remarks on the Design of Proof Procedures | 1990 |

Kurt Weihrauch | Computable Analysis | 2000 |

Glynn Winskel | Linearity in Distributed Computation | 1999 |

Mike Wooldridge | The Verification Problem for Agent Communication Languages | 2000 |

Mike Worboys | Computing with Geospatial Data: Challenges to Theory | 1999 |

Xin Yao | Some Theoretical Issues in Evolutionary Computation | 2000 |

Chee Yap | Grobner Bases: Complexity and Applications | 1988 |