From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id B0D887EEAF for ; Fri, 18 Jan 2013 19:13:32 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ak155@mcs.le.ac.uk) identity=pra; client-ip=143.210.4.39; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="ak155@mcs.le.ac.uk"; x-sender="ak155@mcs.le.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ak155@mcs.le.ac.uk) identity=mailfrom; client-ip=143.210.4.39; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="ak155@mcs.le.ac.uk"; x-sender="ak155@mcs.le.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@springbok.le.ac.uk) identity=helo; client-ip=143.210.4.39; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="ak155@mcs.le.ac.uk"; x-sender="postmaster@springbok.le.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjcCACuO+VCP0gQniWdsb2JhbABEvjgWDgEBARUSFAUigiAiUAs9FhgDAgECAS4qCAEBiBUMnBaGWpFziBKOEIMpA5ZQhSeNUw X-IronPort-AV: E=Sophos;i="4.84,494,1355094000"; d="scan'208";a="190614558" Received: from springbok.le.ac.uk ([143.210.4.39]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 18 Jan 2013 19:13:32 +0100 Received: from scyros.mcs.le.ac.uk ([143.210.72.19]:54802) by springbok.le.ac.uk with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.72) (envelope-from ) id 1TwGRW-0006Oz-Cq for caml-list@yquem.inria.fr; Fri, 18 Jan 2013 18:13:30 +0000 Received: from [143.210.72.208] (pc1038.mcs.le.ac.uk [143.210.72.208]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by scyros.mcs.le.ac.uk (Postfix) with ESMTPSA id B676946B for ; Fri, 18 Jan 2013 18:13:30 +0000 (GMT) Message-ID: <50F990CA.5020303@mcs.le.ac.uk> Date: Fri, 18 Jan 2013 18:13:30 +0000 From: Alexander Kurz Reply-To: "A. Kurz" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130106 Thunderbird/17.0.2 MIME-Version: 1.0 To: caml-list@yquem.inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-UoL-Id: 7e1a14de702216502d83c2e37522c459@1TwGRW-0006Oz-Cq@springbok.le.ac.uk X-Validation-by: ak155@mcs.le.ac.uk Subject: [Caml-list] Call for Registration: MGS Spring School ************************************************************* 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. EARLY REGISTRATION UNTIL 8th FEB at http://www.cs.le.ac.uk/events/mgs2013/ The early registration fee is 520 GBP and covers accommodation, meals, and lectures. 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 foundations of computing.