SICSA Summer School in Types and Programming Languages

Date/Time
Date(s) - 07/06/2012 - 09/06/2012
9:00 am - 5:30 pm

Location
The Royal College of Surgeons, King Khalid Building Symposium Hall


SICSA Summer School on Types and Programming Languages
Thursday June 7th – Saturday June 9th 2012
School of Computer Science, University of St Andrews
http://www.cs.st-andrews.ac.uk/~eb/TPL/

The role of types in programming language research, including language design and compiler construction, has increased greatly in recent years. Type systems research has led to new concepts and methods in program verification, such as dependently typed programming (e.g. Agda, Epigram and Idris). Domain specific languages and type systems have led to new approaches to network and security protocol verification, including the F7 language, an enhancement to F# developed at Microsoft Research in Cambridge, motivated by the desire to verify security properties of code.

This summer school will give participants an overview of the research landscape and state of the art in programming language theory, focussing in particular on types for program specification and verification. The school will consist of a series of lectures covering theoretical topics (e.g. category theory and type lambda calculus) and practical topics (e.g. security oriented languages, and verified systems programming). Thus the school will cover “what”, “how”, and “why” — what is a typed programming language, how is it designed and implemented, and why are they applicable to wider problems in Computer Science.

Speakers:
Paul Levy, University of Birmingham, Typed Lambda Calculus
Thorsten Altenkirch, University of Nottingham, Category Theory
Conor McBride, University of Strathclyde, Dependently Typed Functional Programming
Philip Wadler, University of Edinburgh, Integrating Static and Dynamic Types
Andrew Gordon, Microsoft Research and University of Edinburgh, Type Systems for Security
Scott Owens, University of Cambridge, Ott
Kevin Hammond, University of St Andrews, Parallel Functional Programming
Edwin Brady, University of St Andrews, Verified Domain Specific Languages
There will also be a session of “lightning talks” giving students 15 minutes to present their own research.
Registration is free for PhD students at a SICSA institution. Otherwise, residential registration is £300, non-residential £150.
For registration details, see http://www.cs.st-andrews.ac.uk/~eb/TPL/

This entry was posted in .