Scottish Programming Languages and Verification Summer School

Date(s) - 05/08/2019 - 09/08/2019
All Day

University of Strathclyde

SICSA is delighted to be sponsoring the Scottish Programming Languages and Verification Summer School which will take place from 5 – 9 August 2019.

The Scottish Programming Languages and Verification Summer School is a collaborative effort between the Universities of Edinburgh, Glasgow, Heriot-Watt, Strathclyde and St Andrews. This summer school provides core and advanced classes that cover foundational as well as state of the art knowledge on the underlying principles needed to use or design new languages and verifying program correctness.

The School aims to:

  • Facilitate rapid knowledge exchange in addition to proving essential research training and networking for postgraduate students;
  • Give postgraduate students the opportunity to network with fellow students in the field as well as many established researchers

This Summer School will feature an invited course, two core courses taken by all participants as well as four specialised courses from which participants choose according to their interests. 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 with the support of a supervisor. Participants will need to have a background in computer science, mathematics or a related discipline, and have basic familiarity with (functional) programming and logic.

Registration is now open and attendance will be free for PhD students affiliated with SICSA institutions.  Please follow the link

Full details of the Summer School can be found on the SPLV web-page

This entry was posted in .