[TYPES/announce] International Summer School on Advances in Programming Languages

voigt@tcs.inf.tu-dresden.de voigt at tcs.inf.tu-dresden.de
Wed Apr 29 15:04:59 EDT 2009


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 Voigtlaender, 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
  Brussel

- 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 based 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 Greg Michaelson, Heriot-Watt University (Convenor)
(mailto: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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: SICSA ISS AiPL.pdf
Type: application/download
Size: 34222 bytes
Desc: not available
Url : http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20090429/633ad77e/SICSAISSAiPL-0001.bin
-------------- next part --------------
A non-text attachment was scrubbed...
Name: SICSA ISS AiPL Programme.pdf
Type: application/download
Size: 5515 bytes
Desc: not available
Url : http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20090429/633ad77e/SICSAISSAiPLProgramme-0001.bin


More information about the Types-announce mailing list