Scottish Programming Languages Seminar

Wednesday, 8th March 2023

The Scottish Programming Languages Seminar (SPLS) is an informal meeting for discussing anything related to programming languages.

This edition of SPLS will be held both in-person and online. The in-person meeting will take place in the Cairn Auditorium, Postgraduate Centre at the Heriot-Watt University.

This edition of SPLS is sponsored by SICSA.



12:00 — 13:00    LUNCH

13:00 — 14:00    SESSION 1: Invited Talk

Andreas Abel (Chalmers) Type-preserving compilation via dependently typed syntax

14:00 — 14:30    COFFEE

14:30 — 15:30    SESSION 2: Effects and Communication

Wenhao Tang (Edinburgh) Tracking Linear Continuations for Effect Handlers
Matthew Alan Le Brun (Glasgow) MAGπ: Types for Failure-Prone Communication

15:30 — 16:00    COFFEE

16:00 — 17:00    SESSION 3: Verification and Representation

Omri Isac (Hebrew University of Jerusalem) Neural Network Verification with Proof Production
Guillaume Allais (St Andrews) A Universe for Serialised Data

17:00 — late       PUB

We have a reservation at the Haymarket pub, located next to the Haymarket station in Edinburgh. We will take a bus there after the seminar.


For the on-line participants, we will use the following Zoom meeting:




Filip Sieczkowski <>, James McKinna <> and Kathrin Stark <>