[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
==================================================================
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
[email protected]
