From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3014 Path: news.gmane.org!not-for-mail From: mgs2006@mcs.le.ac.uk Newsgroups: gmane.science.mathematics.categories Subject: Midlands Graduate School Date: 30 Jan 2006 11:12:57 +0000 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; format=flowed; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241019045 6895 80.91.229.2 (29 Apr 2009 15:30:45 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:30:45 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Tue Jan 31 10:19:56 2006 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 31 Jan 2006 10:19:56 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.52) id 1F3wF4-0005hx-OY for categories-list@mta.ca; Tue, 31 Jan 2006 10:12:22 -0400 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 40 Original-Lines: 57 Xref: news.gmane.org gmane.science.mathematics.categories:3014 Archived-At: [Apologies for multiple copies] ************************************************************* Midlands Graduate School 2006 in the Foundations of Computing ************************************************************* http://www.cs.le.ac.uk/~mgs2006 The Midlands Graduate School is taking place 8 - 12 April 2006 at the University of Leicester, UK. The School provides an intensive course of lectures on the Foundations of Computing. It is very well established, having run annually for the past six years, and has always proved a popular and successful event. This year we have Luke Ong, Oxford University and Thomas Streicher, Darmstadt University as guest lecturers. 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, and we especially invite participants from UK universities and from sites participating in the APPSEM working group. Foundational courses: R Crole Leicester Operational Semantics =09 P Levy Birmingham Typed Lambda Calculus =09 D Pattinson Leicester Category Theory =09 Advanced courses: T Altenkirch Nottingham Quantum Programming M Escardo Birmingham Operational Domain Theory & Topology H Nilsson Nottingham Advanced Functional Programming L Ong Oxford Game Semantics T Streicher Darmstadt Constructive Logic E Tuosto Leicester Concurrency We expect to have some grants for UK students, while APPSEM funds can be used to support students from APPSEM affiliated sites. For further details and registration please visit http://www.cs.le.ac.uk/~mgs2006 Please register soon! Places and accommodation will be allocated on a first-come, first-serve basis. Roy Crole Alexander Kurz Dirk Pattinson