[TYPES/announce] Call for Participation: Scottish PL & Verification Summer School

[Guillaume Allais]

==================================================================
Scottish Programming Languages and Verification Summer School 2024
Monday 29th July -- Friday 2nd August 2024
University of Strathclyde, Glasgow
https://urldefense.com/v3/__https://scottish-pl-institute.github.io/splv/2024-strathclyde__;!!IBzWLUs!XO4JhvGAcpHsJyXdoF0vhwYstw5hUxgpyrff1KKNR6sUrlJB2s-6gYAnONAA7rkogCrZDpBoMBM0vM-4yrCFmaQO--WmhyT1ewYs3lDQy4Bj$ 
==================================================================

Dear all;

Scotland is internationally renowned for its leading expertise in
programming language design, implementation, and formal verification.
Since 2019, the Scottish Programming Languages and Verification Summer
School (SPLV) has provided local and international students with
foundational and advanced learning on topics in programming languages
and verification research.

We are pleased to announce that registration for SPLV 2024 is open.
The registration deadline is Sunday 14 July, 2024.

If you would like to be a student at this school, please see our
website for more information, including how to register:

https://urldefense.com/v3/__https://scottish-pl-institute.github.io/splv/2024-strathclyde__;!!IBzWLUs!XO4JhvGAcpHsJyXdoF0vhwYstw5hUxgpyrff1KKNR6sUrlJB2s-6gYAnONAA7rkogCrZDpBoMBM0vM-4yrCFmaQO--WmhyT1ewYs3lDQy4Bj$ 

We kindly acknowledge the support from the following sponsors:

SICSA & Well-Typed & Tweag (Bronze Level)

Invited Course:
Lindsey Kuper (University of California Santa Cruz)
A few ideas from distributed systems for PL folk

Core Courses:
Conor McBride (University of Strathclyde)
Type Theory

Chris Heunen (University of Edinburgh)
Category Theory

Specialised Courses:
Bob Atkey (University of Strathclyde)
Type Theory and Implicit Complexity

Kathrin Stark (Heriot-Watt University)
Mechanisation of Binders

Vikraman Choudhury (University of Bologna)
Category Theory for Semantics

Andres Goens (University of Amsterdam)
Protocol Verification

Sam Lindley (University of Edinburgh)
Effects and Handlers

Jules Hedges (University of Strathclyde)
Applied Category Theory

See our website for course abstracts.

We cannot wait to see everyone in July!

Please feel free to forward this announcement onwards to those
interested.

Best regards,

Guillaume Allais
(for the Strathclyde SPLV 2024 organising committee)

PS: if you have any questions, don't hesitate to contact the committee at

CIS_splv2024 at groups.strath.ac.uk