SICSA Theory, Modelling & Computation Event: Scottish Programming Languages Seminar

Date(s) - 08/03/2023
12:00 pm - 5:00 pm

Postgraduate Centre, Heriot-Watt University

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.


Details TBD

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 (HU Jerusalem) Neural Network Verification with Proof Production
Guillaume Allais (St Andrews) A Universe for Serialised Data

17:00 — late       PUB





  • Please register by 1st March on the SPLS Doodle poll if you plan to attend SPLS in person.
  • Registration is required for catering. There are no COVID restrictions on attendance. Mask wearing in packed indoor areas is encouraged, as is testing before attending.


  • By bus from Edinburgh: lines 25, 34, 35 and 45 to Heriot-Watt University (34 and 35 stop right outside the PG Centre, 25 and 45 at the main entrance to campus); lines X27 and X28 stop a short walk north from campus (Hermiston Walk).
  • By train: Curriehill Station on the southern Edinburgh–Glasgow line is located within walking distance (ca. 2km) from the venue; Edinburgh Park Station on the northern Edinburgh–Glasgow line is some 3km from the venue: you can catch a bus from the Calder View stop or walk via the Union Canal footpath to avoid A71.
  • Parking on Campus
  • The Postgraduate Centre on the map (larger version)


More information is available on the event website: SPLS, 22 February 2023, Heriot-Watt (

If you have any queries, please feel free to contact the event organisers Filip Sieczkowski, James McKinna and Kathrin Stark.

This entry was posted in .