Events
We have organised various events over the years.
- 13 – 16 October 2026
- Mini-course on tangent categories
- 7 October 2026
- Seminar on Scottish Theorem Proving and Verification (STPV) 2026
- 3 December 2025
- Scottish Programming Languages Seminar
- 16 – 20 June 2025
- 11th Conference on Algebra and Coalgebra in Computer Science and the 41st Conference on the Mathematical Foundations of Programming Semantics
- 9 – 13 June 2025
- 31st International Conference on Types for Proofs and Programs
- 14 – 16 April 2025
- 41st British Colloquium for Theoretical Computer Science
- 29 July – 2 August 2024
- Scottish Programming Languages and Verification Summer School 2024
- 22 November 2023
- Scottish Programming Languages Seminar
- 18 – 22 July 2022
- 5th international conference on Applied Category Theory
- 5 – 9 August 2019
- Scottish Programming Languages and Verification Summer School
- 17 – 18 December 2018
- Second Symposium on Compositional Structures (SYCO 2)
- 17 October 2018
- Scottish Programming Languages Seminar
- 10 – 11 July 2017
- 1st Open Games Workshop
- 10 – 12 April 2017
- Algebra and Coalgebra meet Proof Theory workshop (ALCOP VIII)
- 30 November 2016
- 2nd 'Categories, Logic, and Physics, Scotland' meeting
- 9 November 2016
- Scottish Programming Languages Seminar
- 20 – 26 April 2016
- 33rd Agda Implementors’ Meeting
- 23 – 24 June 2014
- Workshop on Fibrations in Computer Science
- 15 June 2012
- International Workshop on 75 Years of the λ-Calculus
- 10 February 2012
- Scottish Theorem Provers Meeting
- 19 December 2011
- Peter Hancock at 60 Celebration