From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7281 Path: news.gmane.org!not-for-mail From: Anupam Das Newsgroups: gmane.science.mathematics.categories Subject: Wessex Theory Seminar, Bath, 23rd May Date: Mon, 21 May 2012 13:09:30 +0100 Message-ID: References: Reply-To: Anupam Das NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1337621301 2164 80.91.229.3 (21 May 2012 17:28:21 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 21 May 2012 17:28:21 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Mon May 21 19:28:20 2012 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.80]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1SWWP5-0006vw-7L for gsmc-categories@m.gmane.org; Mon, 21 May 2012 19:28:19 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:42832) by smtpx.mta.ca with esmtp (Exim 4.77) (envelope-from ) id 1SWWOd-000285-0N; Mon, 21 May 2012 14:27:51 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1SWWOd-0003Mv-U0 for categories-list@mlist.mta.ca; Mon, 21 May 2012 14:27:51 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7281 Archived-At: Dear all, A reminder that the 14th Wessex Theory Seminar will be taking place at the University of Bath on 23rd May (this Wednesday). If you plan to attend please reply to this message so I can put you on the attendance list. As usual there is funding available to reimburse travel expenses etc. The preliminary programme is below, and further information can be found on the website: https://wiki.bath.ac.uk/display/wessex/14th+Wessex+Theory+Seminar . The Wessex Theory Seminars are a series of workshops focussed on theoretical computer science, and in particular mathematical foundations of programming languages. It is designed to be a joint seminar of Mathematics and Computer Science departments, and industrial collaborators. More information about the series can be found on the website: https://wiki.bath.ac.uk/display/wessex/Wessex+Theory+Seminar . PRELIMINARY PROGRAMME 10:30 Coffee 11:00 Olle Fredriksson, Birmingham 11:45 Georg Struth, Sheffield 12:30 Lunch 13:45 Alessio Guglielmi, Bath 14:30 James Davenport, Bath 15:15 Edmund Robinson, Queen Mary 16:00 Coffee 16:30 Jim Laird, Bath 17:15 Uday Reddy, Birmingham 18:00 Pub/Dinner Finally, if you are generally interested in the Wessex Theory Seminar series, you can join the wessex-theory mail list by emailing Guy McCusker . I look forward to seeing many of you next week. Anupam [For admin and other information see: http://www.mta.ca/~cat-dist/ ]