From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p0SBimrN021257 for ; Fri, 28 Jan 2011 12:44:48 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AscAAFY6Qk3CdMeWmWdsb2JhbACEFJJNjjQBAQEBAQgLCgcRJKp1kGyBI4M4dAQ X-IronPort-AV: E=Sophos;i="4.60,391,1291590000"; d="scan'208";a="86549981" Received: from thb-mta-19-tx.emailfiltering.com (HELO thb-mta-19.emailfiltering.com) ([194.116.199.150]) by mail4-smtp-sop.national.inria.fr with ESMTP; 28 Jan 2011 12:44:43 +0100 Received: from smtp2.nottingham.ac.uk ([128.243.44.5]) by thb-mta-19.emailfiltering.com with emfmta (version 4.8.0.417) vanilla id 1804576638 for caml-list@yquem.inria.fr;1e67d699c2817170; Fri, 28 Jan 2011 11:44:41 +0000 Received: from marian.cs.nott.ac.uk ([128.243.21.16] helo=Cs.Nott.AC.UK) by smtp2.nottingham.ac.uk with smtp (Exim 4.60) (envelope-from ) id 1Pimkr-0000os-Kk for caml-list@yquem.inria.fr; Fri, 28 Jan 2011 11:44:41 +0000 Received: from hypatia.cs.nott.ac.uk by marian.Cs.Nott.AC.UK id aa16384; 28 Jan 2011 11:44 GMT From: Venanzio Capretta To: caml-list@yquem.inria.fr Content-Type: text/plain; charset="UTF-8" Date: Fri, 28 Jan 2011 11:44:37 +0000 Message-ID: <1296215077.1954.4.camel@hypatia> Mime-Version: 1.0 X-Mailer: Evolution 2.30.3 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p0SBimrN021257 Subject: [Caml-list] MGS 2011 MIDLANDS GRADUATE SCHOOL in the Foundations of Computing Science University of Nottingham, 11-15 April 2011 http://www.cs.nott.ac.uk/~vxc/mgs/mgs.html The Midlands Graduate School (MGS) in the Foundations of Computing Science is a collaboration between researchers at the Universities of Birmingham, Leicester, Nottingham and Sheffield. It was established in 1999. The MGS has two main goals: to provide PhD students with a sound basis for research in the mathematical and practical foundations of computing and to give PhD students the opportunity to make contact with established researchers in the field and their peers who are at a similar stage in their research careers. This year, the MGS is at the University of Nottingham. It will start on 11 April and finish on 15 April. This year the school offers the following courses. Core courses: "Functional Programming" by Henrik Nilsson "Category Theory" by Thorsten Altenkirch "Typed Lambda Calculi" by Andrzej Murawski Advanced courses: "Coalgebra" by Paul Blain Levy "Game Semantics and Applications" by Dan Razvan Ghica "Game Theory, Topology and Proof Theory for Functional Programming" by Martín Escardó "Process Calculi for Protocol Verification" by Eike Ritter "Mechanized Theorem Proving" by Georg Struth In addition there will be an invited course given by Professor Andrew M Pitts. We invite graduate students in computer science and related fields to participate. Applicants from industry who want to strengthen their theoretical background are also welcome. The deadline for registration is 18 March 2011. More details and information on how to register are on the school web page. -- Venanzio Capretta School of Computer Science University of Nottingham, UK http://www.cs.nott.ac.uk/~vxc/