Invited Speakers at BCTCS

Alphabetic ordering

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

Chronological Ordering

Return to Contents Page