New Website
SPLI has a new website! We will use this site to publicise all SPLI events, as well as news that will be of interest to the Scottish PL community.
SPLI: The Scottish Programming Languages Institute
The Scottish Programming Languages Institute (SPLI) co-ordinates community events that enhance programming languages research in Scotland.
SPLI: The Scottish Programming Languages Institute
The Scottish Programming Languages Institute (SPLI) co-ordinates community events that enhance programming languages research in Scotland.
SPLI: The Scottish Programming Languages Institute
The Scottish Programming Languages Institute (SPLI) co-ordinates community events that enhance programming languages research in Scotland.
SPLI: The Scottish Programming Languages Institute
The Scottish Programming Languages Institute (SPLI) co-ordinates community events that enhance programming languages research in Scotland.
SPLI: The Scottish Programming Languages Institute
The Scottish Programming Languages Institute (SPLI) co-ordinates community events that enhance programming languages research in Scotland.
SPLS
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.
SPLV
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.
Zulip
The Scottish Programming Languages Zulip instance facilitates programming languages-related discussion amongst SPLI members.
About SPLI
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.