From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5545 Path: news.gmane.org!not-for-mail From: Georg Struth Newsgroups: gmane.science.mathematics.categories Subject: call for participation: midlands graduate school in the foundations of computing science Date: Thu, 21 Jan 2010 11:23:11 +0000 Message-ID: Reply-To: Georg Struth 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 1264115050 2616 80.91.229.12 (21 Jan 2010 23:04:10 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 21 Jan 2010 23:04:10 +0000 (UTC) To: Georg Struth Original-X-From: categories@mta.ca Fri Jan 22 00:04:02 2010 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 1NY64G-0007Fb-I8 for gsmc-categories@m.gmane.org; Fri, 22 Jan 2010 00:04:00 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NY5XY-0002kg-Ny for categories-list@mta.ca; Thu, 21 Jan 2010 18:30:12 -0400 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5545 Archived-At: [Apologies for multiple copies] Call for Participation MIDLANDS GRADUATE SCHOOL IN THE FOUNDATIONS OF COMPUTING SCIENCE (MGS 2010) 28.03.-01.04.2010, Sheffield, UK http://www.dcs.shef.ac.uk/~georg/mgs.html The MGS is the leading annual research training event in Theoretical Computer Science in the UK. We are widely known for our courses on the mathematical foundations of computing. Our main mission is advanced research training for PhD students, but our school is open for anyone. We have consistently been evaluated as excellent: All recent participants would recommend the school to others. The MGS addresses primarily PhD students in their first and second year. But we warmly welcome postdoctoral researchers, academics or industrial practitioners as well. Further information can be found at the MGS 2010 web site. PROGRAMME: The MGS is an intensive one-week training event. We offer nine courses with five hours of lectures plus exercise sessions. Invited Speaker: Lectures on Separation Logic Peter O'Hearn (Queen Mary, London) Introductory Courses: Category Theory =20 Graham Hutton (Nottingham) Functional Programming =20 Henrik Nilsson (Nottingham) Typed Lambda Calculi =20 Eike Ritter (Birmingham) Advanced Courses: Domain Theory and Denotational Semantics =20 Mart=EDn Escard=F3 (Birmingham) Game Semantics and Applications =20 Dan Ghica (Birmingham) Formal Languages and Group Theory =20 Rick Thomas (Leicester) Protocol Verification =20 Emilio Tuosto (Leicester) Quantum Topos Theory =20 Steve Vickers (Birmingham) VENUE: The MGS 2010 will be hosted at the University of Sheffield. B&B accommodation is provided at the newly built Ranmoor Student Village. Sheffield is centrally located in the UK and easy to reach by train, air or car. Travel advice and general information for visitors can be found at the MGS 2010 web site. REGISTRATION: Registration fee: =A3350 (incl accommodation) Registration deadline: 01.03.2010. Instructions on how to register can be found at the MGS 2010 web site. FURTHER INFORMATION: =20 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]