The Scottish Programming Languages Institute (SPLI) co-ordinates community events that enhance programming languages research in Scotland.
The Scottish Programming Languages Institute (SPLI) co-ordinates community events that enhance programming languages research in Scotland.
The Scottish Programming Languages Institute (SPLI) co-ordinates community events that enhance programming languages research in Scotland.
The Scottish Programming Languages Institute (SPLI) co-ordinates community events that enhance programming languages research in Scotland.
The Scottish Programming Languages Institute (SPLI) co-ordinates community events that enhance programming languages research in Scotland.
The Scottish Programming Languages Seminar (SPLS) is a forum for discussion of all aspects of programming languages. We meet for a day or afternoon once every few months, at some congenial location in Scotland. Talks by Scots and by visitors are welcome.
The Scottish Programming Languages and Verification Summer School (SPLV) provides core and advanced classes that cover foundational as well as state of the art knowledge on the underlying principles needed to use or design new languages and verifying program correctness.
The Scottish Programming Languages Zulip instance facilitates programming languages-related discussion amongst SPLI members.
The Scottish Programming Languages Institute (SPLI) coordinates community events that enhance programming languages research in Scotland. It brings together researchers 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. Details about SPLI’s structure are available on our organisation page.
SPLI researchers cover a wide range of topics, from theoretical foundations and semantics to implementation, compilation, and optimisation. Students interested in pursuing a PhD can find potential supervisors on our PhD Opportunities page.
For information on our events, such as the Scottish Programming Languages Seminar series (SPLS) and the Scottish Programming Languages and Verification Summer School (SPLV), visit our events page.
We maintain a lively online community on Zulip, where many SPLI activities are coordinated. You can also follow us on X and Mastodon.
We collaborate with the Scottish Informatics and Computer Science Alliance (SICSA), to promote and support activities, especially for PhD students.
From the 29th July to 2nd August 2024, the fifth edition of the Scottish Programming Languages & Verification Summer School (SPLV 2024) was organised by the MSP Group of the University of Strathclyde.
SPLI and the Low Carbon and Sustainable Computing group at Glasgow are organising LOCO 2024, the 1st International Workshop on Low Carbon Computing.
We are happy to announce that Prof. Daniele Gorla of “Sapienza” University of Rome will be giving a 9-hour graduate-level lecture course on concurrent programming. The course will take place on the 8th, 15th, and 22nd of August in the Informatics Forum at the University of Edinburgh.