Dear colleagues,

This year we're running an online version of the Scottish Programming
Languages and Verification Summer School. Please register as soon as
possible, and no later than 30 July 2020. Registration is free!


  +-----------------------------------------------------------------+
  |                                                                 |
  |  Scottish Programming Languages and Verification Summer School  |
  |  The University of Edinburgh, Online (BST), 3-21 August 2020    |
  |  http://www.macs.hw.ac.uk/splv/splv20/                          |
  |                                                                 |
  +-----------------------------------------------------------------+

The second Scottish Programming Languages and Verification Summer
School is organised by the University of Edinburgh and will take
place online during 3-21 August 2020.  The aim of the school is to provide PhD
students with core and specialised knowledge in the broad area
of Programming Language and Verification research.

COURSES
=======

Invited course
--------------


 Maribel Fernandez (King’s College London)
 "Nominal rewriting and unification"


Core courses
-------------------

   Jamie Gabbay (Heriot-Watt University)
   "Nominal datatypes"

   Michel Steuwer (Glasgow University)
   "Compiler intermediate representations"

   Edwin Brady (University of St Andrews)
   "The Implementation of Idris 2"


PREREQUISITES
=============

The school is aimed at PhD students in programming languages,
verification and related areas. Also researchers and practitioners
will be very welcome, as will strong master's students. Participants
will need to have a background in computer science, mathematics or a
related discipline, and have basic familiarity with (functional)
programming and logic.

DATES
=====

Please register by 30 July 2020.
Courses: online, 3 - 21 August 2020

SUPPORT
=======

The summer school is hosted by the University of Edinburgh School of
Informatics, The summer school is hosted by the University of Edinburgh
School of Informatics, and partially supported by ERC grant Skye
(grant no 682315)
and the UK Manycore Network.



REGISTRATION
============

Registration is open at the following address:


    http://tiny.cc/SPLV20-registration

Attendance is *free*.

FURTHER INFORMATION
===================

More information can be found on the school webpage:

   http://www.macs.hw.ac.uk/splv/splv20/

Please contact the local organisers if you have any questions:

- Ohad Kammar                  ohad.kammar@ed.ac.uk