- 1 October 2020
- Welcome to André Videla, Eigil Rischel and Matteo Capucci, who are starting PhDs in the MSP group.
- 25 September 2020
- Neil is giving weekly tutorial sessions on Open Games for MSP newcomers. Video recordings are available here.
- 1 September 2020
- Glynn Winskel and Jules Hedges have joined the MSP group. Welcome!
- 2 March 2020
- Welcome to Craig Roy who has joined MSP as a KTP Associate at Cambridge Quantum Computing.
- 6 January 2020
- Welcome to Georgi Nakov who is starting a PhD under the supervision of Fredrik Nordvall Forsberg.
- 1 October 2019
- Welcome to Jérémy Ledent and Bruno Gavranović, who have joined the MSP group as a postdoc and a PhD student, respectively.
- 1 September 2019
- Radu Mardare is joining the MSP group. Welcome Radu!
- 5 – 9 August 2019
- We are organising the first ever Scottish Programming Languages and Verification Summer School.
- 3 June 2019
- Welcome to Adam Katona and Zachary Sole, who are doing summer internships in the MSP group this year, supervised by Clemens Kupke and Fredrik Nordvall Forsberg respectively.
- 29 May 2019
- Dan Ghica visiting.
- 10 May 2019
- Troels Henriksen visiting.
- 26 March – 1 April 2019
- Johannes Marti visiting.
- 11 March 2019
- Welcome back Guillaume Allais who is starting a postdoc with Conor McBride and Neil Ghani.
See here for older news.