Mobius logoMobiusIST-15905 Heriot-Watt University




International Summer School on Advances in Programming Languages

25th-28th August, 2009

Heriot-Watt University, Edinburgh, Scotland











Confirmation of Attendance



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, a Scottish Funding Council Research Pool. Summer School participants from SICSA member institutions may attend at no cost.


The Summer School is pleased to enjoy sponsorship from the EU Mobius Project.



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



The Summer School is based at Heriot-Watt Universitys Riccarton campus, set in pleasant parkland to the west of Edinburgh, with easy access to the airport, city and central Scotland.


The Summer School immediately precedes the International Conference on Functional Programming in Edinburgh, and takes place during the Edinburgh International Festival, and the associated Edinburgh Festival Fringe and International Edinburgh Book Festival.


Steering Committee

Prof Greg Michaelson, Heriot-Watt University

Prof Kevin Hammond, University of St Andrews

Dr Patricia Johann, University of Strathclyde

Prof Phillip Wadler, University of Edinburgh



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



You may pay on arrival in cash, with an appropriate cheque, or by credit or debit card. You may pay in advance by credit or debit card using the form here which should be returned to


Please note that we cannot accept American Express or Discover cards.


Please note that an additional 1.75% is required for card payments.


Registration of interest



Confirmation of Attendance

If you have registered interest and now wish to confirm that you will be attending the International Summer School, please complete this form and return it to: by Friday 26th June.