[Haskell-cafe] Re: [Haskell] International Summer School on
Advances in Programming Languages (precedes ICFP'09)
Janis Voigtlaender
voigt at tcs.inf.tu-dresden.de
Wed May 13 04:50:44 EDT 2009
Note that potential participants in the below summer school should
pre-register their interest *now*. The organizers need that information
to go ahead with the planning.
Matthew Fluet (ICFP Publicity Chair) wrote:
> 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),
> <G.Michaelson at hw.ac.uk>
> Prof Kevin Hammond, University of St Andrews
> Dr Patricia Johann, University of Strathclyde
> Prof Philip Wadler, University of Edinburgh
>
>
> Fee
> ~~~
>
> Full rate: £400; (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: £200; (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: <ISS-AiPL-register at macs.hw.ac.uk>
>
>
> **********
> 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 at macs.hw.ac.uk
> **********
> _______________________________________________
> Haskell mailing list
> Haskell at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell
>
More information about the Haskell-Cafe
mailing list