Recent MSP publications
Generalized decidability via Brouwer trees
de Jong, T., Kraus, N., Mohammadzadeh, A. & Nordvall Forsberg, F., 9 Aug 2026, 41st Annual Symposium on Logic in Computer Science, LICS 2026. Claudia, F., Joost-Pieter, K. & Joost-Pieter, K. (eds.). Schloss Dagstuhl – Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 27 p. 59. (Leibniz International Proceedings in Informatics).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
A data type of intrinsically plane graphs in Agda
Altenmüller, M. & Mc Bride, C. T., 30 Jul 2026, 31st International Conference on Types for Proofs and Programs (TYPES 2025). Nordvall Forsberg, F. & McKinna, J. (eds.). Saarbrücken/Wadern, 24 p. 13. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 384).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Symmetric list objects
Blackett, F. G., Choudhury, V. & Liu, R., 18 Jul 2026.Research output: Contribution to conference › Paper › peer-review
Snoc trees: growing trees from the leaves
Ghani, N., Nordvall Forsberg, F. & Fish, S., 6 Jul 2026. 14 p.Research output: Contribution to conference › Paper › peer-review
Constructing witnesses for lower bounds on behavioural distances
Turkenburg, R., Beohar, H., van Breugel, F., Kupke, C. & Rot, J., 18 Feb 2026, 34th EACSL Annual Conference on Computer Science Logic, CSL 2026: 34th EACSL Annual Conference on Computer Science Logic (CSL 2026). Guerrini, S. & Konig, B. (eds.). Vol. 363. 22. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 363).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
See the MSP PURE page for a full list of recent papers, grants, etc.
News
- 13 – 16 October 2026
- We are organising the Mini-course on tangent categories.
- 7 October 2026
- We are organising the Seminar on Scottish Theorem Proving and Verification (STPV) 2026.
- 14 September 2026
- Welcome to Axel Ljungström, who is joining us as a Lecturer.
- 10 – 11 September 2026
- Nicolai Kraus visiting.
- 28 July 2026
- Daphne Preston-Kendal visiting.
- 19 June 2026
- We are having an Away Day in Balloch in the Trossachs.
- 17 June 2026
- Congratulations to Simone Barlocco for defending his PhD thesis, passing with minor corrections!
- 2 March 2026
- We are advertising for a Lecturer in Mathematically Structured Programming! Closing date 1 April 2026.
- 9 – 13 February 2026
- Owen Lynch visiting.
- 10 December 2025
- Congratulations to Malin Altenmüller for defending her PhD thesis, passing with minor corrections!
- 9 – 11 December 2025
- Noam Zeilberger visiting.
- 4 December 2025
- We are looking for UK PhD candidates for 2026.
- 3 December 2025
- We are organising the Scottish Programming Languages Seminar.
- 1 December 2025
- Welcome to Vikraman Choudhury, who is joining us as a Chancellor's Fellow/Lecturer.
- 26 November 2025
- Congratulations to Eigil Rischel for defending his PhD thesis, passing with minor corrections!
- 17 October 2025
- Welcome to Kit Liu, who is starting a PhD with Fredrik Nordvall Forsberg.
- 1 October 2025
- Welcome to Emma Tye, who is starting a PhD with Guillaume Allais.
- 9 July 2025
- Congratulations to Riu Rodríguez Sakamoto for successfully passing his PhD viva with minor corrections!
- 16 – 20 June 2025
- We are organising the 11th Conference on Algebra and Coalgebra in Computer Science and the 41st Conference on the Mathematical Foundations of Programming Semantics.
- 9 – 13 June 2025
- We are organising the 31st International Conference on Types for Proofs and Programs.
- 27 May – 6 June 2025
- Liang-Ting Chen visiting.
- 28 April – 2 May 2025
- Helle Hvid Hansen visiting.
- 21 – 24 April 2025
- Harsh Beohar visiting.
- 14 – 16 April 2025
- We are organising the 41st British Colloquium for Theoretical Computer Science.
- 28 January 2025
- Welcome to Fiona Blackett, who is starting a PhD with Jules Hedges.
- 20 November 2024
- We are hiring! Come join us as a Chancellor's Fellow in Mathematically Structured Programming. Closing date 5 January 2025.
- 4 November 2024
- We are looking for funded UK PhD candidates for 2025.
- 1 October 2024
- Welcome to Samuel Fish, who is starting a PhD in the MSP group.
- 2 September 2024
- Welcome to Clovis Eberhart, who is joining the MSP group as a research fellow.
- 13 August 2024
- Daniele Gorla visiting.
- 29 July – 2 August 2024
- We are organising the Scottish Programming Languages and Verification Summer School 2024.
- 17 April 2024
- Dov Gabbay visiting.
- 4 – 8 March 2024
- Paolo Torrens visiting.
- 14 February 2024
- We have a PhD position available with a start date of 1 October 2024.
- 13 February 2024
- Nobuko Yoshida is visiting.
- 29 January 2024
- Congratulations to Joe Collins for successfully passing his PhD viva with minor corrections!
- 12 January 2024
- Congratulations to James Wood for successfully passing his PhD viva with minor corrections!
- 4 December 2023
- We are organising the second Categories Network Project (CATNIP) meeting.
- 22 – 23 November 2023
- Danel Ahman is visiting.
- 22 November 2023
- We are organising the Scottish Programming Languages Seminar.
- 22 September 2023
- Congratulations to Bruno Gavranović for successfully passing his PhD viva with minor corrections!
- 5 May 2023
- Welcome to Iwan Quémerais, who is doing an internship with Clemens Kupke over the summer.
- 5 May 2023
- Johannes Marti is visiting.
- 4 May 2023
- Welcome to Ethel Morgan, who joined the MSP group as a Research Software Engineer.
- 14 April 2023
- Thorsten Altenkirch visiting.
- 1 April 2023
- Welcome to Guillaume Allais, who joined the MSP group as a Chancellor's Fellow.
- 29 March 2023
- Prakash Panangaden visiting.
- 6 – 14 March 2023
- Nathaniel Virgo visiting.
- 8 November 2022
- Congratulations to Guillaume Allais for successfully passing his PhD viva with minor corrections!
- September – December 2022
- Jacques Carette visiting.
- 18 – 22 July 2022
- We are organising the 5th international conference on Applied Category Theory.
- 10 January 2022
- Welcome to William Waites, who joined the MSP group as a Chancellor's Fellow.
- 1 October 2021
- Welcome to Dylan Braithwaite and Sean Watters, who are starting PhDs in the MSP group.
Older News
See here for older news.