Summer School on Programming Languages and Verification

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                  [email protected]