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. 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. SPLI is always open to new members and new connections between programming languages and other areas of computer science.

As a SICSA Short Research Theme for 2024, SPLI will organise a number of events: three meetings of the Scottish Programming Languages Seminar (SPLS) in March, June and October; the Scottish Programming Languages and Verification Summer School (SPLV) at the University of Strathclyde in July; an industrial collaboration event at the University of Edinburgh in April; a workshop/sandpit event on connections between programming languages and other computer science research topics; a welcome event for new PhD students in October. An aim throughout the year will be to encourage engagement and partnership with industry, building on existing relationships and developing new ones.

More information can be found on the SPLI website.

The current leadership of SPLI consists of:

Join the SPLI mailing list.