- 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 2005

29th April 14:00	John Tucker, University of Wales, Swansea Computation and Specification with Continuous Data
6th May 14:00	James Cheney, University of Edinburgh Nominal Logic Programming
13th May 14:00	Daniele Varacca, Imperial College Semantic Subtyping for the pi-Calculus
20th May 14:00	Neil Yorke-Smith, SRI International A Framework for Constraint Reasoning with Uncertain Data
3rd June 14:00 FW09	Pablo Arrighi, IMAG, Grenoble Linear-Algrabraic Lambda Calculus
8th July 14:00	Lars Birkedal, IT University of Copenhagen Semantics of Separation-Logic Typing and Higher-Order Frame Rules

Michaelmas Term 2004

15th October 14:00	John Reynolds, Carnegie Mellon Toward a Grainless Semantics for Shared-Variable Concurrency
29th October 14:00	Dietmar Berwanger, RWTH Aachen Hope and Trust in Infinite Games
12th November 14:00	Peter O'Hearn, Queen Mary, University of London Resources, Concurrency and Local Reasoning
19th November 14:00	Richard Bornat, Middlesex University Permissions, Concurrency, Resourcing: A Breakthrough and a Grand Challenge
26th November 14:00	Phil Scott, University of Ottawa and University of Oxford Geometry of Interaction and the Dynamics of Proofs
Mon 6th December FW11 14:00 and Tue 7th December FW26 14:00	Samson Abramsky and Bob Coecke, University of Oxford Abstract Quantum Mechanics: High-Level Methods for Quantum Computation and Information

Lent Term 2005

4th February 14:00	Max Kanovich, Queen Mary, University of London Resolving Problems in the World of Integer Partitions by Techniques from the Rewriting World
Wed 16th February 14:00 FW26	Ian Stark, University of Edinburgh Free-Algebra Models for the Pi-Calculus
18th February 14:00 MSR	Mark Ryan, University of Birmingham Verifying Accessibility in Access Control Systems
25th February 14:00	Randy Pollack, University of Edinburgh Reasoning about Languages with Binding: Can we do it yet?
Thu 3rd March 11:30 FW26	Tom Ridge, University of Edinburgh Lessons From Some Recent Case Studies in HOL
4th March 10:30	David Pichardie, ENS de Cachan Formal Development of Java Byte Code Abstract Interpreters
4th March 14:00 LT2	Martín Escardó, University of Birmingham Operational Domain Theory and Topology of a Sequential Programming Language
11th March 14:00	Philippa Gardner, Imperial College Local Reasoning about Tree Update
Tue 22nd March 12:00 SW01	Tim Fernando, Trinity College, Dublin Propositions-as-Types and Regular Languages for Natural Language Semantics



© 2005 University of Cambridge Computer Laboratory Please send any comments to tjr22@cl.cam.ac.uk Page last updated on 17-Oct-2005 at 09:35 by Thomas J.Ridge