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
,
 1st October
14:00
John Harrison,
Formal verification of IA-64 division and square root
 8th October
14:00
Andrew Pitts,
A Metalanguage for Programming with Bound Names Modulo Renaming (Part I)
 15th October
14:00
Andrew Pitts,
A Metalanguage for Programming with Bound Names Modulo Renaming (Part II)
 22nd October
14:00
,
 29th October in the Discussion room
14:00
Simon Peyton-Jones,
Using rewriting to add domain-specific optimisations to a compiler.
 5th November
14:00
Ian Stark,
Thimble --- Threads for MLj
 12th November
14:00
,
 19th November 
14:00
,
 Thursday 25th November 
14:00
Yuri Gurevich,
Average Case Computational Complexity
 26th November
14:00
Tony Hoare,
Unifying Theories for Logic Programming
 3rd December
14:00
Peter Sewell,
Secure Composition of Untrusted Code: Wrappers and Causality Types
 10th December
14:00
Claudio Russo,
Types for Modules

Lent Term


14:00
,
 21st January
14:00
,
 28th January
14:00
Ivan Stanev,
Comparison between four formal models and programming styles
 4th February in the Discussion room
14:00
Thomas Forster,
Constructive NF: why it is natural and should be consistent
 11th February
14:00
,
 18th February in the Discussion room
14:00
,
 Thursday 24th February at 3pm
14:00
Dr. B.C. Moszkowski,
An Automata-Theoretic Completeness Proof for Interval Temporal Logic
 25th February
14:00
,
 3rd March in the Discussion room
14:00
,
 10th March
14:00
Michael Covington,
Natural Language Pragmatics as Applied to Computing
 17th March
14:00
Richard Bornat,
Pointer Aliasing in Hoare Logic

Easter Term


14:00
,
 28th April
14:00
,
 5th May
14:00
,
 12th May
14:00
,
 19th May
14:00
,
 26th May
14:00
Larry Paulson,
Program Composition in UNITY: A Mechanized Theory
 2nd June
14:00
,
 9th June
14:00
,
 16th June
14:00
,
 23rd June
14:00
,
 30th June in the Discussion room
14:00
,

14:00
,