University of Cambridge

Logic
&
Semantics

Talks in 1999/2000

Talks are generally given on Fridays in term, at 2pm in TP4, although out of term dates are also available.

Michaelmas Term

Tuesday 5th October - Friday 3rd December
Michaelmas | Lent | Easter | LS Home page

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

Lent Term

Tuesday 18th January - Friday 17th March
Michaelmas | Lent | Easter | LS Home page

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

Easter Term

Tuesday 25th April - Friday 16th June
Michaelmas | Lent | Easter | LS Home page

Date Speaker Title
28th April
5th May
12th May
19th May
26th May Larry Paulson Program Composition in UNITY: A Mechanized Theory Abstract
2nd June
9th June
16th June
23rd June
30th June in the Discussion room
Michaelmas | Lent | Easter | LS Home page