Computer Laboratory Home Page Search A-Z Directory Help
University of Cambridge Home Logic and Semantics Seminar
YEAR-GOES-HERE
Computer Laboratory > Research > TSG > Logic and Semantics Seminar > YEAR-GOES-HERE

Michaelmas Term

Wednesday 23rd September in the Discussion Room
14:00
John Longley,
The Sequentially Realizable Functionals
16th October
14:00
Graham Birtwistle,
Specifying and Verifying TK
Thursday 22nd Moved to Thursday ARG
14:00
Mike Gordon,
Combining Deductive Theorem Proving with Symbolic State Enumeration
23rd October
14:00
Andrew Pitts,
A New Approach to Abstract Syntax Involving Binders
Monday 26th October 
 In Au 310 at 3:30pm
14:00
Ursula Martin,
Computer algebra and theorem proving: a pragmatic approach
30th October
14:00
,
6th November
14:00
Keith Wansbrough,
Once Upon a Polymorphic Type
13th November
14:00
Peter Potts,
Exact Real Arithmetic using Mobius Transformations
20th November
14:00
Martin Hofmann,
Linear types and non-size increasing polynomial time computation
27th November
14:00
,
30th November
14:00
Joseph Kiniry,
Reuse in Open Distributed Systems
4th December
14:00
M. Randall Holmes,
The Watson Theorem Prover

Lent Term

8th January
14:00
Martin Otto,
Algorithmic Aspects of Model Theory in a Modal Scenario
13th January
14:00
Anna Philippou,
Behavioural Equivalences for Probabilistic Systems
12th February
14:00
Yuri Gurevich,
Abstract State Machines
19 February
14:00
Masahiro Fujita,
Modeling the unknown! Towards model-independent fault and error diagnosis
5th March
14:00
Furio Honsell,
pi-calculus in coinductive type theory
12th March
14:00
Marieke Huisman,
Reasoning about Java classes
26th March
14:00
Wayne Luk,
Pebble: A Language For Hardware Research and Teaching

Easter Term

23rd April
14:00
Susan Stepney,
Formal Refinement in Z: an electronic commerce application
28th May
14:00
Stefano Guerrini,
An overview of lambda-calculus optimal reductions and of their implementation
4th June
14:00
Julian Rathke,
Towards a theory of bisimulation for local names
 Thursday 10th June 
at 3pm
14:00
Lauri Hella,
Logics with Aggregate Operators
11th June
14:00
Thomas Forster,
Better-Quasi-orders and Coinduction
18th June
14:00
Markus Wenzel,
Isar - a Generic Interpretative Approach to Readable Formal Proof Documents
 Thursday 24th June 
at 3pm
14:00
Anil Seth,
On the Expressive Power of Finitely many Generalized Quantifiers
23rd July 
at 3pm
14:00
Alan Jeffrey,
A Distributed Object Calculus
 3rd September 

14:00
Daniel Leivant,
Intrinsic theories
17th September 

14:00
John C. Reynolds,
Reasoning About Shared Mutable Data Structure
24th September 

14:00
Carl A. Gunter,
Formal Verification of Standards for Distance Vector Routing