Mathematically Structured Programming Group

Computer and Information Sciences

University of Strathclyde


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.
17 – 18 December 2018
We are organising SYCO 2, the Second Symposium on Compositional Structures.
14 December 2018
Robin Cockett visiting.
30 November 2018
Congratulations to Kevin Dunne for successfully passing his PhD viva!
17 October 2018
We are organising a meeting of the Scottish Programming Languages Seminar.
1 October 2018
Welcome to Malin Altenmüller who is starting a PhD in the MSP group.
27 – 31 August 2018
Philippa Cowderoy visiting.
9 August 2018
Ron Garcia visiting.

Older News

See here for older news.