From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7546 Path: news.gmane.org!not-for-mail From: Alexander Kurz Newsgroups: gmane.science.mathematics.categories Subject: Spring School MGS 2013 Date: Thu, 20 Dec 2012 20:54:43 +0000 Message-ID: Reply-To: Alexander Kurz NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1356098786 12925 80.91.229.3 (21 Dec 2012 14:06:26 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 21 Dec 2012 14:06:26 +0000 (UTC) To: categories Original-X-From: majordomo@mlist.mta.ca Fri Dec 21 15:06:41 2012 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.32]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Tm3FG-0007v0-S9 for gsmc-categories@m.gmane.org; Fri, 21 Dec 2012 15:06:38 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:41504) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1Tm39j-0004Kd-8N; Fri, 21 Dec 2012 10:00:55 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Tm3Ey-0007P3-9z for categories-list@mlist.mta.ca; Fri, 21 Dec 2012 10:06:20 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7546 Archived-At: ************************************************************* Midlands Graduate School 2013 in the Foundations of Computing ************************************************************* The Midlands Graduate School is taking place 8 - 12 April 2013 at the University of Leicester, UK. http://www.cs.le.ac.uk/events/mgs2013/ The School provides an intensive course of lectures on the Foundations of Computing. It is very well established, having run annually for 10 years, and has always proved a popular and successful event. This year we have Philip Wadler, University of Edinburgh, as guest lecturer. Natasha Alechina, Modal Logic Venanzio Capretta, Coalgebras and Infinite Data Structures Paul Levy, Typed Lambda-Calculus Brian Logan, Multi-agent programming Uday Reddy, Category Theory Eike Ritter, Security and applied pi-calculus Georg Struth, Kleene Algebra Rick Thomas, Formal Languages and Group Theory Philip Wadler, tba The lectures are aimed at graduate students, typically in their first or second year of study for a PhD. However, the school is open to anyone who is interested in learning more about mathematical computing foundations. Early registration fee will be approximately 500 GBP, including accommodation and full board. Details will be announced in January, but we already welcome expressions of interest to mgs.le.2013@gmail.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]