Events
Regular Events
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.
SPLI Events
SPLI also organises ad-hoc events to bring SPLI members together around a particular theme of interest.
Industrial Engagement Event 2024
The SPLI industrial engagement event brought together academics and industry representatives to discuss industrial uses of programming languages research.
Local seminars
SPLI institutions also host regular seminars which may be of wider interest. Most events are held in a hybrid format, allowing both in-person and remote participation.
Coffee House
Coffee House seminars are organised by the Huawei Edinburgh Programming Languages Lab. Coffee house seminars take place on Tuesday at 11am in the Bayes Center.
LAIV seminars
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.
LFCS Seminars
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.
MSP101
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.
PLInG
PLInG is a programming languages seminar organised by the University of Edinburgh. PLInG takes place on Wednesdays at 11AM.
PLUG
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 Wednesday at 3PM.