Michaelmas Term 2003
Lent Term 2004
30th January 14:00 |
Prakash
Panangaden, McGill University, Montreal, and University of Oxford
Labelled Markov
Processes |
13th February 14:00 |
Vincent
Balat, Università di Genova
Lambda-Calculus
with Strong Sums: Type Isomorphisms and Type-Directed Partial
Evaluation |
19th February 14:00 |
Tom Melham,
University of Oxford
Abstraction
Transformations for Microarchitecture Algorithm Verification |
20th February 14:00 |
Samy Abbes,
IRISA, Université de Rennes 1
Introduction to Markov
nets and distributed probabilities |
5th March 14:00 |
Søren Riis,
Queen Mary, University of London
Linear Versus Non-linear
Boolean Network Flow |
12th March 14:00 |
Francesco Zappa Nardelli,
Computer Laboratory
A Behavioural Theory of
Mobile Ambients |
19th March 14:00 |
Susan Eisenbach,
Imperial College
Dynamic Linking |
7th April 11:00 |
Ursula Goltz,
Technische Universität Braunschweig
Model-Based Software Development for Embedded Automotive Systems |
Easter Term 2004
16th April 14:00 |
Sasha
Rubin, University of Auckland
Automatic
Structures |
23rd April 14:00 |
Julian
Rathke, University of Sussex
Java Jr.: Full
Abstraction for Large-Scale Object Systems |
29th April 16:00 |
Xavier
Leroy, INRIA Rocquencourt
Towards the
Certification of a Realistic Compiler |
30th April 14:00 |
Rob van
Glabbeek, Computer Laboratory and Stanford University
Event Structures
for Resolvable Conflict |
7th May 14:00 |
Giovanna Corsi, Università di Bologna
Transition Frames with
Counterpart Relations |
14th May 14:00 |
Neil Ghani,
University of Leicester
Categories of
Containers |
4th June 14:00 |
Stéphane
Lengrand, University of St Andrews and ENS Lyon
Barendregt's
Cube in Sequent Calculus |
11th June 14:00 |
Moshe
Vardi, Rice University
Constraints, Graphs, Algebra, Logic and Complexity |
25th June 14:00 |
Warren A.
Hunt, Jr, University of Texas
The FM9801
Microprocessor Verification and Proving Very Large Theorems |
|