From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/95 Path: news.gmane.org!not-for-mail From: "Roy L. Crole" Newsgroups: gmane.science.mathematics.categories Subject: 2nd Call for Participation - Midlands Graduate School in the Foundations of Computing Science 2009 Date: Mon, 16 Feb 2009 15:41:08 +0000 Message-ID: Reply-To: "Roy L. Crole" NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1234944047 27537 80.91.229.12 (18 Feb 2009 08:00:47 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 18 Feb 2009 08:00:47 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Wed Feb 18 09:02:02 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1LZhNY-0002c4-58 for gsmc-categories@m.gmane.org; Wed, 18 Feb 2009 09:02:00 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1LZgl4-0003BT-BE for categories-list@mta.ca; Wed, 18 Feb 2009 03:22:14 -0400 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:95 Archived-At: Dear Colleagues, We still have a small number of places remaining at MGS2009, available at the full rate of =A3380. If you would like to attend, please complete = the registration form provided on the web page. **************************************************************** Midlands Graduate School in the Foundations of Computing Science **************************************************************** =20 30th March - 3rd April 2009 University of Leicester, UK http://www.cs.le.ac.uk/events/mgs2009 The 10th Midlands Graduate School (MGS) is taking place! WHAT IS MGS 2009? The MGS is an intensive course of lectures on the Foundations of Computing. It is very well established, with this being our 10th anniversary, and has always proved a very popular and successful event. This year we have Professor Peter Dybjer, Chalmers, Sweden, as guest lecturer. 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. We very much welcome international applications as well as from those from the UK. COURSES - Foundations Thorsten Altenkirch Category Theory =20 Paul Levy The Lambda Calculus =20 Henrik Nilsson Functional Programming =20 - Advanced Peter Dybjer Normalization by Evaluation =20 Martin Escardo Semantics =20 Nicola Gambino Dependent Types Alexander Kurz Coalgebra Uday Reddy Separation Logic Georg Struth Automated Theorem Proving WHERE IS MGS 2009? MGS 2009 will take place at John Foster Hall, University of Leicester, UK, with accommodation and lectures all on one site. Breakfasts, lunches and four course dinners will be provided. For further details and registration visit http://www.cs.le.ac.uk/events/mgs2009 Roy Crole and Daniela Petrisan.