From: "Pattinson, Dirk" <d.pattinson@imperial.ac.uk>
To: "categories@mta.ca" <categories@mta.ca>
Subject: Wessex Theory Seminar, Imperial College, Thu Nov 4
Date: Mon, 1 Nov 2010 21:08:08 +0000 [thread overview]
Message-ID: <E1PD2YD-00018u-NC@mlist.mta.ca> (raw)
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/ ]
reply other threads:[~2010-11-01 21:08 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1PD2YD-00018u-NC@mlist.mta.ca \
--to=d.pattinson@imperial.ac.uk \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).