[TYPES/announce] Metaprogramming Summer School --- FINAL call for applications

Ohad Kammar ohad.kammar at cl.cam.ac.uk
Mon Jun 27 15:04:10 EDT 2016


Hi,

A final call for applications for the Metaprogramming Summer School.

We're happy to announce that Oracle Labs will also sponsor this event,
which will allow us to fully subsidise more applicants.

If you or someone you know think of applying, please note that the
deadline for applications _and_ support letters is

this Thursday, 30th June.

Yours,
Jeremy, Gemma, and Ohad.


====================================================================
International summer school on metaprogramming

Robinson College, Cambridge, United Kingdom

8th-12th August, 2016

http://www.cl.cam.ac.uk/events/metaprog2016/
====================================================================

Metaprogramming is an approach to improving programs by treating
program fragments (such as expressions or types) as values that the
program can manipulate. Metaprogramming comes in various forms,
including

* staged programming: treating expressions as program values.

  The execution of a staged program is spread over several phases,
  with each stage using the available data to generate specialized
  code.

  Staged programming has a wide variety of applications — numeric
  computations, parsing, database queries, generic programming, domain
  specific languages, and many more. Precompiling the staged code can
  have dramatic performance improvements, in some cases an order of
  magnitude or more.

* generic programming: treating types as program values.

  Generic programming can improve code flexibility, allowing to give a
  single definition of a function that operates in a predictable (but
  not uniform) way on many different types.

  Generic programming techniques can be used to define a wide variety
  of functions, including traversals, comparisons, pretty printers,
  serialization functions, and many more.

The goal of the summer school is to explore the state-of-the art in
metaprogramming and its applications, covering both theory and
practice.

--------------------------------------------------------------------
Lecturers and courses

Philip Wadler, Sam Lindley and Shayan Najd (University of Edinburgh)
  Normalisation and embedding

Simon Peyton Jones (Microsoft Research)

Oleg Kiselyov (Tohoku University)
  Type-safe embedding and optimizing domain-specific languages in the
  typed final style

Laurence Tratt (Kings College London)
  The highs and lows of macros in a modern language

Jeremy Yallop (University of Cambridge)
  Staging generic programming

Martin Berger (University of Sussex)
  Foundations of meta-programming

José Pedro Magalhães (Standard Chartered)

--------------------------------------------------------------------
Prerequisites

The school is aimed at graduate students in programming languages and
related areas, but is open to researchers, practitioners and strong
masters students with the support of a supervisor. Some experience of
typed functional programming in Haskell, OCaml, Scala, or a similar
language will be assumed.

--------------------------------------------------------------------
Costs

Thanks to generous industrial sponsorship, we are able to offer places
with significantly reduced fees. There are three categories of fees,
all of which cover registration, accommodation in Robinson College
from Monday to Friday, and all meals and refreshments.

Participants who can pay the full fees will help allocate more
fully-subsidised slots to less financially-able students. Your
category of fees will not have any direct bearing on your acceptance
into the school, but could affect how many slots we can offer.

* The full fee is £800.

* The standard (partly-subsidised) fee is £295.

* We also have a limited number of fully-subsidised places available
  for a nominal registration fee of £50.

We will notify you of your fee upon acceptance.

--------------------------------------------------------------------
Application procedure

You will need to complete the online registration form at:

  http://www.cl.cam.ac.uk/events/metaprog2016/application.html

and ensure your referees send your references to:

  metaprog-2016 at cl.cam.ac.uk

by the application deadline.

TIMETABLE

* 30 June: Application and reference letters deadline.

* 10 July: Notification of acceptance.

* 24 July: Registration deadline.

* 8 August: Summer school.

--------------------------------------------------------------------
Further information

For questions relating to the material of the school, please contact
  Jeremy Yallop (jeremy.yallop at cl.cam.ac.uk)
  Ohad Kammar (ohad.kammar at cs.ox.ac.uk)

For administrative questions, please contact
  Gemma Gordon (gg417 at cl.cam.ac.uk)


More information about the Types-announce mailing list