SPLI industrial engagement event

We will be running an industrial engagement event on 1st May 2024. See the SPLI Industry Event page for details.

Regular events

SPLS

The Scottish Programming Languages Seminar (SPLS) is a regular event for discussion of all aspects of programming languages.

SPLV

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.

Local Seminars

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

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

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.

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. For more information, see the LFCS Seminar web page.

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. For more information, see the MSP101 webpage and the mailing list.

LAIV

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.

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. For more information, see the Coffee House web page