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