home search a-z help
University of Cambridge
Logic and Semantics Seminar
Computer Laboratory > Research > Theory and Semantics > Logic and Semantics Seminar

Logic and Semantics seminars are usually held at 2pm on Fridays in room FW11. Talks are of relevance to the Automated Reasoning Group and/or the Theory and Semantics Group. The seminars are organized by Tom Ridge. Please contact him if you would like more information or would like to suggest a speaker or offer to talk yourself.

Easter Term 2006

28 April
14:00
Tim Sheard, Portland State University
Type-checking time computation using narrowing
5 May
14:00
Benjamin Pierce, Microsoft Research (on leave from University of Pennsylvania)
Harmony: The Art of Reconciliation
12 May
14:00
Steve Ross-Talbot, Pi4 Technologies
Web Services Choreography and Pi-Calculus
19 May
14:00
Sebastian Nanz, Imperial
Specification and Security Analysis of Mobile Ad-Hoc Networks
22 May
13:00 *NOTE UNUSUAL TIME AND DATE*
Gilles Peskine, Inria
Abstract types for collaborative programs
2 June
14:00
James Worrell, Oxford
Real-time Model Checking and Head-reversal Complexity
9 June
14:00
Alessio Guglielmi, University of Bath
Introduction to Deep Inference and the Calculus of Structures
16 June
14:00
Jeremy Gibbons, Oxford University
The Essence of the Iterator Pattern
23 June
14:00
Thorsten Altenkirch, University of Nottingham
Beauty in the Beast: Functional specifications of effects
30 June
14:00
Conor McBride, University of Nottingham
Epigram goes OTT

Lent Term 2006

27 January
14:00
Dan Ghica, Birmingham University
Semantics-directed abstraction and refinement
10 February
14:00
Hayo Thielecke, Birmingham University
Frame Rules from Answer Types for Code Pointers
17 February
14:00
Cristiano Calcagno, Imperial College London
Modular Automatic Assertion Checking with Separation Logic
24 February
14:00
Ross Duncan, Oxford University
An Abstract Approach to Entanglement
10 March
14:00
Dino Distefano, Queen Mary, University of London
A local heap analysis based on Separation Logic
17 March
14:00
Zhaohui Luo, Royal Holloway, University of London
A type-theoretic framework for mathematical pluralism -- Weyl's predicative mathematics in type theory
24 March
14:00
Victor Carreno, NASA Langley
Safety Verification of the Small Aircraft Transportation System Concept of Operations

Michaelmas Term 2005

21st October
14:00
Luke Ong, Oxford University
Infinite Trees, Higher-Order Recursion Schemes and Game Semantics
3rd November *THURSDAY*
14:00
Ben Moszkowski, De Montfort University
A Hierarchical Analysis of Propositional Temporal Logic based on Intervals
25 November
14:00
Markus Michelbrink, Swansea University
Container, Interfaces, Games
9 December
14:00
Peter Hancock, Edinburgh University
Dependently typed programming and imperative interfaces

Details of previous years' talks are also available: 1997-98, 1998-99, 1999-2000, 2000-01, 2001-02, 2002-03, 2003-04, 2004-05.