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


14:00
,
 6th October
14:00
,
 13th October
14:00
,
 20th October
14:00
Mike Spivey,
Embedding Prolog in Haskell
 27th October
14:00
Martin Hyland,
Who wins infinite plays?
 3rd November
14:00
,
 10th November
14:00
Randy Pollack,
Dependently Typed Records for Representing Mathematical Structure
 23rd November
14:00
Martin Berger,
The 2 Phase Commit Protocol in an Extended pi Calculus
 24th November
14:00
Andrew D. Gordon ,
Typing a Multi-Language Intermediate Code
 1st December
14:00
Oege de Moor,
Pointwise Relations Abstract

Lent Term


14:00
,
 19th January
14:00
Ian Benson,
Practical Protocol Analysis for System Decomposition and Synthesis
 26th January
14:00
,
 2nd February
14:00
,
 9th February
14:00
,
 16th February
14:00
,
 23rd February
14:00
,
 2nd March
14:00
Jeffrey Ketland,
The Possibility of Physical Hypercomputation
 9th March
14:00
Peter O'Hearn,
Local Reasoning about Shared Mutable Data Structure
 16th March
14:00
Peter Welch,
A CSP Model for Java Threads (and Vice-Versa)
 30th March
14:00
Ehud Shapiro,

Easter Term


14:00
,
 4th May
14:00
Iain Stewart,
Program schemes, finite model theory and computational complexity
 11th May
14:00
Alex Simpson,
Comparing functional paradigms for exact real arithmetic
 17th May 
14:00
Giuseppe Longo,
On the formal unprovability of some provable properties of numbers
 25th May
14:00
Alexander Rabinovich,
Temporal Logic over Branching Time: Expressiveness and Complexity
 6th June
14:00
John Reynolds,
Further reasoning about shared mutable data structure

14:00
,