Wessex Theory Seminar, Imperial College, Thu Nov 4

Wessex Theory Seminar, Imperial College, Thu Nov 4

[Pattinson, Dirk]

The next edition of the Wessex Theory Seminar, an informal seminar series on Computer Science Theory will be held at the Department of Computing, Imperial College London

   on Thursday, 4th Nov 2010    
   in Room 343, Huxley Building, South Kensington Campus

from 13:15 onwards.

Wessex seminars are fairly informal, there is no need to register, and I'd like to extend a warm invitation to everybody. I'm including the provisional programme:

13.15 Edmund Robinson: Functional Interpretations and Proof Mining
13.45 Peter Mosses: On bisimulation and modularity
14.15 Coffee Break
14.45 Ross Horne: Linked Data Algebra
15.30 Coffee Break
16.00 Achim Jung: The Hofmann-Mislove Theorem
17.00 Short Break
17.15 Jan Rutten: Exercises in coalgebra – a coinductive proof of Moessner's theorem

More details about the Wessex Seminar in general can be found on the web at:

   http://wiki.bath.ac.uk/display/wessex/Wessex+Theory+Seminar

and the details concerning this meeting are available via:

   http://wiki.bath.ac.uk/display/wessex/9th+Wessex+Theory+Seminar

Please get back to me if there are any question.

Dirk.

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]