Scottish Programming Languages Seminar

Wednesday, 7th June 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 Coats Building, room P118 at the University of the West of Scotland.

This edition of SPLS is sponsored by SICSA (Theory, Modelling & Computation Research Theme).



12:00 — 13:00    LUNCH

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

Matija Pretnar (Ljubljana) Asynchronous Effects

14:00 — 14:30    COFFEE

14:30 — 16:00    SESSION 2: Logic

Murdoch Gabbay (Heriot-Watt) Semitopology: a new topological model of heterogeneous consensus
Xueying Qin (Edinburgh) Shoggoth - A Formalised Logic for Strategic Rewriting
Fredrik Nordvall Forsberg (Strathclyde) Set theory or type theory? It doesn't matter! (For ordinals)

16:00 — 16:30    COFFEE

16:30 — 17:30    SESSION 3: Semantics and Security

Filip Sieczkowski (Heriot-Watt) Call-by-value and call-by-name: it's elementary!
Jeremy Singer and Dejice Jacob (Glasgow) Picking a CHERI Allocator: Security and Performance Considerations

17:30 — late       PUB

We have a reservation at the Bull Inn on New Street; a short walk from the Coats Building.


For the online participants, we will use This Teams Meeting Link.




Paul Keir and Santiago Matalonga <firstname DOT lastname AT uws DOT ac DOT uk>