From: Guillaume Allais <guillaume.allais@ens-lyon.org>
To: undisclosed-recipients: ;
Subject: [Caml-list] Call for Participation: Scottish PL & Verification Summer School
Date: Thu, 6 Jun 2024 09:43:03 +0100 [thread overview]
Message-ID: <1771da2b-b29a-44bb-96b8-0f1e49106c18@ens-lyon.org> (raw)
==================================================================
Scottish Programming Languages and Verification Summer School 2024
Monday 29th July -- Friday 2nd August 2024
University of Strathclyde, Glasgow
https://scottish-pl-institute.github.io/splv/2024-strathclyde
==================================================================
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://scottish-pl-institute.github.io/splv/2024-strathclyde
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@groups.strath.ac.uk
reply other threads:[~2024-06-06 8:43 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1771da2b-b29a-44bb-96b8-0f1e49106c18@ens-lyon.org \
--to=guillaume.allais@ens-lyon.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox