From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.7 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 11A10BC37 for ; Tue, 12 May 2009 17:30:15 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhQBAGAyCUpKfVwbimdsb2JhbACWVT8BAQEKCQwHDwWlZ49zAQSEAg X-IronPort-AV: E=Sophos;i="4.38,431,1233529200"; d="scan'208";a="29174204" Received: from qw-out-2122.google.com ([74.125.92.27]) by mail1-smtp-roc.national.inria.fr with ESMTP; 12 May 2009 17:30:14 +0200 Received: by qw-out-2122.google.com with SMTP id 8so31543qwh.33 for ; Tue, 12 May 2009 08:30:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:mime-version:received:reply-to:date:message-id :subject:from:to:content-type:content-transfer-encoding; bh=xVHseGPHLVd8jysdvnX2GC7p4uYrRtEeD3V3M9jBWP8=; b=XbiA0k+5auT+YDLP8o1F7fRx9PvQ2Qrbb9d5FuCDVrETno1SIp7eJ7wiC8iPv9utAl xU3nuPA4C1lzi1JpZiF5wC2WTEuHqV1NJc8WPOJaJz3ImZpsqGYIrqNV1mPeYDfOWUya gnKaLYdTgh5EzDZIXwzkoFfO+UvNMAJdFdPL0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=mime-version:reply-to:date:message-id:subject:from:to:content-type :content-transfer-encoding; b=sZiZcCmjy4WAWGj4JXijXr7vEalJWE4Eeo4On5ri9PWH5/mMTdlwQAhJzBRj2SvMRH fHCpt8N7jR3Tzu6a6/28Qo5CfTsJWxikGsTMMEQVuwMTHNUbjVEAMGvaXKLIgnd7zAec Xj5FsMp6IK4kewyUasdlfHzWQMxphxAGVsR7g= MIME-Version: 1.0 Received: by 10.224.54.138 with SMTP id q10mr6020266qag.220.1242141811435; Tue, 12 May 2009 08:23:31 -0700 (PDT) Reply-To: fluet@tti-c.org Date: Tue, 12 May 2009 10:23:31 -0500 Message-ID: <53ff55480905120823u1f3842betfa3637dec25050ba@mail.gmail.com> Subject: International Summer School on Advances in Programming Languages (precedes ICFP'09) From: "Matthew Fluet (ICFP Publicity Chair)" To: caml-list Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; icfp:01 icfp:01 heriot-watt:01 wadler:01 compiler:01 compilation:01 costanza:01 universiteit:01 heriot-watt:01 compilation:01 codeplay:01 michaelson:01 haskell:01 parallelism:01 satnam:01 International Summer School on Advances in Programming Languages 25th-28th August, 2009 Heriot-Watt University, Edinburgh, Scotland http://www.macs.hw.ac.uk/~greg/ISS-AiPL Overview ~~~~~~~~ This four-day residential International Summer School on Advances in Programming Languages has a major theme of Concurrency, Distribution, and Multicore. Intended primarily for postgraduate research students, the School offers lectures and practical sessions on an engaging blend of cutting edge theoretical and practical techniques from international experts. The Summer School is supported by the Scottish Informatics and Computer Science Alliance (http://www.sicsa.ac.uk/), a Scottish Funding Council Research Pool. Participants from SICSA member institutions may attend at no cost. Confirmed Topics/Speakers * Static and dynamic languages, Prof Philip Wadler, University of Edinburgh * Compiler technology for data-parallel languages, Dr Sven-Bodo Scholz, University of Hertfordshire * New applications of parametricity, Dr Janis Voigtlander, Technical University of Dresden * Automatic vectorising compilation, Dr Paul Cockshott, University of Glasgow * Foundational aspects of size analysis, Prof Marko van Eekelen / Dr Olha Shakaravska, Radboud University Nijmegen * Context oriented programming, Dr Pascal Costanza, Vrije Universiteit Brussels * Multi-core programming, Dr Phil Trinder, Heriot-Watt University * Multi-core compilation, Dr Alastair Donaldson, Codeplay Software Ltd * Principles and Applications of Refinement Types, Dr Andrew D. Gordon, Microsoft Research, Cambridge * Resource aware programming in Hume, Prof Greg Michaelson, Heriot-Watt University / Prof Kevin Hammond, University of St Andrews * Haskell concurrency & parallelism, Dr Satnam Singh, Microsoft Research, Cambridge Location ~~~~~~~~ The Summer School is at Heriot-Watt University's Riccarton campus, set in pleasant parkland to the west of Edinburgh, with easy access to the airport, city and central Scotland (http://www.hw.ac.uk/welcome/directions.htm). The Summer School immediately precedes the 2009 International Conference on Functional Programming (http://www.cs.nott.ac.uk/~gmh/icfp09.html) and takes place during the Edinburgh International Festival (http://www.eif.co.uk/) , and the associated Edinburgh Festival Fringe (http://www.edfringe.com/) and Edinburgh International Book Festival (http://www.edbookfest.co.uk/) Steering Committee ~~~~~~~~~~~~~~~~~~ Prof Prof Greg Michaelson, Heriot-Watt University (Convenor), Prof Kevin Hammond, University of St Andrews Dr Patricia Johann, University of Strathclyde Prof Philip Wadler, University of Edinburgh Fee ~~~ Full rate: =A3400; (free for SICSA students) Includes: four nights single room, en-suite accommodation with breakfast, lunch and dinner, plus coffee breaks and session materials. Day rate: =A3200; (free for SICSA students) Includes: lunch, coffee breaks, session materials Registration of Interest ~~~~~~~~~~~~~~~~~~~~~~~~ If you are interested in attending the International Summer School, please complete the form available from (http://www.macs.hw.ac.uk/~greg/ISS-AiPL/ISS-AiPL%20register.doc) or below, and return it to: ********** International Summer School on Advances in Programming Languages 25th-28th August, 2009 Heriot-Watt University, Edinburgh, Scotland Registration of Interest Name: Address: Email: Phone: SICSA Uni: Yes / No Rate: Full / Day Accessibility requirements: Dietary requirements: Return to: ISS-AiPL-register@macs.hw.ac.uk **********