Personal tools
You are here: Home Events Abstract Archives 2007-2008

2007-2008

Page The Logical Necessity of Inconsistency
Carl Hewitt MIT EECS (Emeritus) 4pm Tuesday 11th September 2007 Room 2511, JCMB, King's Buildings
Page Structural Operational Semantics for Computational Effects
John Power LFCS 3pm Tuesday 25th September 2007 Room 2511, JCMB, King's Buildings Note nonstandard time! This is a special seminar to celebrate John's 18 years at LFCS, since he is moving to Bath at the end of September. The seminar will be followed by a leaving party for John in room 2510
Page The complexity of small universal Turing machines
Damien Woods University College Cork, Ireland 4pm Tuesday 23rd October 2007 Room 2511, JCMB, King's Buildings
Page From Hilbert's programme to ordinal analysis.
Michael Rathjen University of Leeds 4pm Tuesday 13th November 2007 Room 2511, JCMB, King's Buildings
Page Correct and Efficient Software Systems: Pie in the Sky or Viable Vision?
Sabine Glesner Technische Universität Berlin 4pm Tuesday 20th November 2007 Room 2511, JCMB, King's Buildings Joint ICSA/LFCS Seminar
Page A Compositional Specification of DOM using Context Logic
Philippa Gardner Imperial College, London 2pm Friday 23rd November 2007 Room 2511, JCMB, King's Buildings Note nonstandard day and time
Page Nondeterminism: many questions and (maybe) some answers
Paul Blain Levy University of Birmingham 4pm Tuesday 27th November 2007 Room 2511, JCMB, King's Buildings
Page A trace semantics of (something like) ML
Jim Laird University of Bath 4pm Tuesday 4th December 2007 Room 2511, JCMB, King's Buildings
Page Baltic: Service Combinators for Farming Virtual Machines
Andrew D. Gordon Microsoft Research, Cambridge 2pm Thursday 6th December 2007 Room 2511, JCMB, King's Buildings Note nonstandard day and time
Page A Petri Net Semantics for Pi-Calculus Verification
Roland Meyer University of Oldenburg 4pm Tuesday 11th December 2007 Room 2511, JCMB, King's Buildings
Page What sort of program is a proof?
Conor McBride Glasgow 4pm Tuesday 22nd January 2008 Room 2511, JCMB, King's Buildings
Page The worker/wrapper transformation
Andy Gill Galois 4pm Tuesday 5th February 2008 Room 2511, JCMB, King's Buildings
Page Bigraphs as a categorical abstract machine
Robin Milner University of Cambridge, Emeritus 4pm Thursday 7th February 2008 Room 2511, JCMB, King's Buildings Note nonstandard day
Page Rule-based modelling of cellular signalling
Vincent Danos LFCS 4pm Tuesday 19th February 2008 Room 2511, JCMB, King's Buildings
Page Compiling with Continuations, Continued
Andrew Kennedy Microsoft Research Cambridge 4pm Monday 25th February 2008 Room 2511, JCMB, King's Buildings Note nonstandard day
Page A Sound Semantics for OCaml light
Scott Owens University of Cambridge 4pm Tuesday 26th February 2008 Room 2511, JCMB, King's Buildings
Page The metarouting project
Tim Griffin University of Cambridge 4pm Tuesday 4th March 2008 Room 2511, JCMB, King's Buildings
Page Stone Duality for bitopological spaces
Achim Jung University of Birmingham 2pm Friday 7th March 2008 Room 2509, JCMB, King's Buildings Note nonstandard day and time
Page Local Hoare Reasoning about DOM
Philippa Gardner Imperial College, London 4pm Tuesday 11th March 2008 Room 2511, JCMB, King's Buildings
Page Intuitionistic set theories and their models
Alex Simpson LFCS 4pm Tuesday 18th March 2008 Room 2511, JCMB, King's Buildings
Page Axiomatics of No-Cloning and No-Deleting
University of Oxford 2pm Friday 28th March 2008 Room 2511, JCMB, King's Buildings Note nonstandard day and time
Page What does atomic mean?
Tim Harris Microsoft Research, Cambridge 4pm Monday 31st March 2008 Room 2511, JCMB, King's Buildings Note nonstandard day
Page Nash Equilibria in Graphical Games on Trees
Edith Elkind University of Southampton 4pm Tuesday 15th April 2008 Room 2511, JCMB, King's Buildings
Page Type Inference for Correspondence Types
Hans Hüttel Aalborg University, Denmark 4pm Thursday 17th April 2008 Room 2511, JCMB, King's Buildings Note nonstandard day
Page Security: what's the worst that can happen?
Pasquale Malacaria Queen Mary, University of London 4pm Tuesday 22nd April 2008 Room 2511, JCMB, King's Buildings
Page Negative Type Theory
Thomas Forster University of Cambridge 4pm Tuesday 29th April 2008 Room 2511, JCMB, King's Buildings
Page Optimal Hierarchical Decompositions for Congestion Minimisation in Networks
Harald Räcke University of Warwick 4pm Tuesday 6th May 2008 Room 2511, JCMB, King's Buildings
Page Verifying OO Programs: the good, the bad, and the ugly
Matthew Parkinson University of Cambridge 4pm Tuesday 13th May 2008 Room 2511, JCMB, King's Buildings
Page Self-Adjusting Computation
Umut A. Acar Toyota Technological Institute, Chicago 11am Friday 30th May 2008 Room 2511, JCMB, King's Buildings Note nonstandard day and time
Page Interacting Quantum Observables, OR: Computing with Complementarity
Ross Duncan Computer Lab, University of Oxford 11am Thursday 3rd July 2008 Informatics Forum 4.31 Joint CISA/LFCS Seminar Note nonstandard day and time
Page Pure Subtype Systems: A Type Theory for Extensible Software
DeLesley Hutchins LFCS 3pm Tuesday 8th July 2008 Room 4.31, Informatics Forum Note nonstandard time
Page The Myth of the Folk Theorem
Nicole Immorlica CWI 4pm Tuesday 12th August 2008 Room G03, Informatics Forum
Document Actions