Scottish Programming Languages Institute

The Scottish Programming Languages Institute (SPLI) co-ordinates community events which enhance programming languages research in Scotland.

It unites researchers in programming languages from the University of Edinburgh, the University of Glasgow, Heriot-Watt University, the University of St Andrews, the University of Stirling, the University of Strathclyde, and the University of the West of Scotland. To learn more about the structure of the SPLI, see our organisation page.

Researchers within SPLI cover a broad range of topics under the Programming Languages umbrella, ranging from theoretical foundations, semantics and verification to implementation, compilation and optimisation. For students interested in pursuing a PhD in Programming Languages at an SPLI institution, a list of potential supervisors can be found on our studentships page.

For information on the events we run, including the Scottish Programming Languages Seminar series (SPLS) and the Scottish Programming Languages and Verification Summer School (SPLV), please see our events page.

We also run a lively online community on our Zulip instance, where many SPLI activities and events are co-ordinated. We are on X as well.

We collaborate with the Scottish Informatics and Computer Science Alliance (SICSA), to promote and support activities, especially for PhD students.