Scottish Programming Languages Seminar


COVID-19 Pandemic: SPLS meeting postponed

Due to the accelerating course of the current COVID-19 pandemic, the SPLS meeting on 18 March had to be postponed.

The provisional new date is 10 June 2020. A decision whether the meeting can actually go ahead on that date will be taken on 20 May. Either way, there will be further announcements on this page and on the SPLS mailing list.

Provisional Time and Place

Wednesday, 18 March 2020 10 June 2020, 12:00 - 17:30

Room 2B84, Cottrell Building
University of Stirling
Stirling FK9 4LA

Provisional Programme

12:00 — 12:50    LUNCH
12:50 — 13:55    SESSION 1: Types and Semantics
Jesse Sigal (Edinburgh) Automatic Differentiation via Effects and Handlers
Wen Kokke (Edinburgh) Robustness as a Refinement Type
Katya Komendantskaya (Heriot-Watt) AI secure and explainable by construction (announcement)
13:55 — 14:20    COFFEE
14:20 — 15:50    SESSION 2: Compilers and Runtime Systems
John Thomson (St Andrews) COLAB: A Collaborative Multi-factor Scheduler for Asymmetric Multicore Processor
Saemi Haraldsson (Stirling) Genetic Software Improvement (tentative title)
Sam Lindley (Edinburgh) FreezeML: Complete and easy type inference for first-class polymorphism
15:50 — 16:10    COFFEE
16:10 — 17:25    SESSION 3: Dependent Types
Xueying Qin (Glasgow) Proving the correctness of rewrite rules with Agda
Bob Atkey (Strathclyde) Resource Constrained Programming with Full Dependent Types
17:30 — 00:00   PUB and DINNER


Getting to Stirling University Campus


This event has received financial support from SICSA, the Scottish Informatics and Computer Science Alliance and the Division of Computing Science and Mathematics at the University of Stirling.


General information about SPLS is available from the SPLS page.

For information about this event, please contact Patrick Maier (email: