[TYPES/announce] International Summer School on Advances in Programming Languages (precedes ICFP'09)

[Matthew Fluet (ICFP Publicity Chair)]

   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
**********