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
Michaelmas Term 2005
Details of previous years' talks are also available:
1997-98,
1998-99,
1999-2000,
2000-01,
2001-02,
2002-03,
2003-04,
2004-05.
|