[TYPES/announce] SPLV 2024 --- Call for Participation (first call)

[Jan de Muijnck-Hughes]

==================================================================
Scottish Programming Languages and Verification Summer School 2024
Monday 29th July -- Friday 2nd August 2024
University of Strathclyde, Glasgow
==================================================================

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 now
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!T7GBes8oTkK3ubwPX8pLx6fq87Xhcj_dfubcB0beh2yWO2dX8bz2FFywcL2ya2yYqn8wkko4dnij9nZsWTonGXQQRaSAhtA5uUCKJ1YjUmNhUw$ 

We kindly acknowledge the support from the following sponsors:

   SICSA & Well-Typed (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,

Jan de Muijnck-Hughes
(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