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.

SPLI Distinguished Lecture Series -- Prof. Daniele Gorla

As part of the SPLI Distinguished Lecture Series, Prof. Daniele Gorla will give a 9 hour long PhD-level course on concurrent programming.

1st International Workshop on Low Carbon Computing

SPLI and the Low Carbon and Sustainable Computing group at Glasgow are organising LOCO 2024, the 1st International Workshop on Low Carbon Computing.

SPLI Distinguished Lecture -- Satnam Singh

As part of the SPLI Distinguished Lecture series, joint with the University of Edinburgh's institutional seminar series, Satnam Singh, Fellow at Groq, will give an SPLI Distinguished Lecture about accelerating LLMs.

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.