Scottish Programming Languages Institute

Views Navigation

Event Views Navigation

Today

Latest Past Events

SPLV’26: Scottish Programming Languages and Verification Summer School 2026

The 2026 edition of SPLV will be held at the University of Glasgow, with the main courses running from within the Gilbert Scott Building. The school is aimed at PhD students in programming languages, verification and related areas. Researchers and practitioners are welcome, as are strong undergraduate and masters students with the support of a supervisor. Participants should have a background in computer science, mathematics or a related discipline. Prospective students may contact the organisers if they have any concerns about background knowledge.

Scottish Programming Languages Seminar

Learning and Teaching Building, University of Strathclyde

The SPLS hybrid event will be held by the MSP Group of the Department of Computer and Information Sciences at University of Strathclyde. Talks will take place in room TL325 in the Learning and Teaching Building (49 Richmond Street). There will be signs directing you from the main entrance of the building. A special PhD ... Read more

Scottish Programming Languages Seminar

University of Stirling

The Scottish Programming Languages Seminar (SPLS) is a forum for discussion of all aspects for programming languages. This edition of SPLS will be held as a hybrid event, supporting both in-person and remote participation. The in-person meeting will take place in the Cottrell Building, room 2A93 at the University of Stirling. Find out more details ... Read more