Scottish Programming Languages Institute
The Scottish Programming Languages Institute (SPLI) co-ordinates community events which enhance programming languages research in Scotland.
The Scottish Programming Languages Seminar (SPLS) is a regular event for discussion of all aspects of programming languages.SPLS Website
The Scottish Programming Languages and Verification Summer School (SPLV) is an annual summer school on the underlying principles needed to use or design new languages, and verify program correctness.SPLV Website
Our Zulip chat instance allows asynchronous messaging between SPLI members.Join the Zulip chat
SPLI institutions also host regular seminars which may be of wider interest. Due to the COVID-19 situation, most seminars are taking place online.
PLUG (Programming Languages at the University of Glasgow) is a fortnightly seminar organised by the PL Theme at the University of Glasgow. PLUG takes place every two weeks on Tuesday at 3PM. For more information, see the PLUG web page.
PLInG is a programming languages seminar organised by the University of Edinburgh. PLInG takes place on Wednesdays at 11AM. You can join the mailing list.
The Laboratory for Foundations of Computer Science (LFCS) institute at the University of Edinburgh has a seminar series which often includes talks about programming languages. LFCS seminars take place on Tuesdays at 4PM. For more information, see the LFCS Seminar web page.
MSP101 is a series of informal talks organised by the Mathematically Structured Programming group at the University of Strathclyde. MSP101 takes place on Thursday at 2PM. For more information, see the MSP101 webpage and the mailing list.
LAIV seminars provide a forum for AI, machine learning, verification, programming language, security and legal experts to meet and discuss the state of the art and future directions in Verification of AI. LAIV seminars take place on Friday at 1pm. For more information, see the LAIV webpage.