From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6348 Path: news.gmane.org!not-for-mail From: "Pattinson, Dirk" Newsgroups: gmane.science.mathematics.categories Subject: Wessex Theory Seminar, Imperial College, Thu Nov 4 Date: Mon, 1 Nov 2010 21:08:08 +0000 Message-ID: Reply-To: "Pattinson, Dirk" NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1288649361 6313 80.91.229.12 (1 Nov 2010 22:09:21 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 1 Nov 2010 22:09:21 +0000 (UTC) To: "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Mon Nov 01 23:09:17 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.114]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1PD2Z2-0001PF-6u for gsmc-categories@m.gmane.org; Mon, 01 Nov 2010 23:09:16 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:58896) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1PD2YL-0005ep-45; Mon, 01 Nov 2010 19:08:33 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1PD2YD-00018u-NC for categories-list@mlist.mta.ca; Mon, 01 Nov 2010 19:08:26 -0300 Accept-Language: en-US, en-GB Content-Language: en-US Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6348 Archived-At: The next edition of the Wessex Theory Seminar, an informal seminar series o= n Computer Science Theory will be held at the Department of Computing, Impe= rial College London on Thursday, 4th Nov 2010 =20 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 provisiona= l 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 =96 a coinductive proof of Moessne= r'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/ ]