Scottish Programming Languages and Verification Summer School

by Ekaterina Komendantskaya, May 9, 2022

The Scottish Programming Languages and Verification Summer
School will be held at Heriot-Watt University 11--15 July 2022.

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.

+-----------------------------------------------------------------+ 

 |                                                                                                                        | 

 | Scottish Programming Languages and Verification Summer School | 

 | Heriot-Watt University, UK, 11--15 July 2022                                        | 

 | http://www.macs.hw.ac.uk/splv/splv22/                                              | 

 |                                                                                                                      | 

 +-----------------------------------------------------------------+ 

  

 The Scottish Programming Languages and Verification Summer  School will be held at Heriot-Watt University 11--15 July 2022. 

 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 

 === 

  

 Core courses 

 ------------ 

 James McKinna (Heriot-Watt University)  

 “The lambda calculus, formalised: the Church-Rosser and Standardisation theorems, with applications” 

   Elizabeth Polgreen (U. Edinburgh)  

 “An Introduction to SAT and SMT” 

  

 Specialised courses 

 ------------------- 

Susmit Sarkar (St. Andrews), Marko Doko (Heriot-Watt University)  

 “An Introduction to Reasoning with Weak Memory” 

 

Ohad Kammar (U. Edinburgh)  

 “Introduction to Statistical modelling with higher-order measure theory” 

  

 Glynn Winskel (U. Strathclyde/Huawei Labs)  

 “Making Concurrency Functional” 

  

 Jeremy Singer (U. Glasgow)  

 “Capabilities for Coders; an introduction to the CHERI platform” 

 

Talks  

------------------- 

Invited Speaker: TBA 

Jamie Gabbay (Heriot-Watt University)  

 “Introduction to Blockchain technology” 

 Sam Lindley (U. Edinburgh)  

 “Effect-Handler Oriented Programming” 

  

 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 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. 

  

 SPONSORSHIP 

 === 

  

 We offer a range of sponsorship opportunities for industry with  attractive benefits -- please get in touch if you are interested. 

  

 REGISTRATION 

 ==== 

Registration is open.  

 The registration fees in general are as follows: 

  

Students & Academics: £330. 

Industry: £500. 

  

The registration fee covers coffee breaks, lunches, dinners, and an excursion. 

Registration Date: June 10, 2022 

We may be able to provide fee waivers for a small number for students as well as Scottish academics. Please indicate your interest in the registration form. 

  

 ACCOMMODATION 

 ===  

 We can offer 5-night accommodation (Sunday to Friday) in student dorms for £210. Please indicate your interest in the registration form.  Alternatively, Marriot Hotel on Heriot-Watt campus offers self-organised accommodation. 

  

  

 FURTHER INFORMATION 

 ===== 

 ­­  More information can be found on the school webpage: 

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

   Please contact one of the local organisers if you have any questions: 

  

 - Ekaterina Komendantskaya [email protected]  

 - Filip Sieczkowski        [email protected]  

 - Kathrin Stark  [email protected]