Mathematically Structured Programming Group

Computer and Information Sciences

University of Strathclyde

News

10 – 11 July 2017
We are organising a Workshop on Open Games.
5 July 2017
Noam Zeilberger visiting.
30 June 2017
Danel Ahman visiting.
26 – 30 June 2017
Stephan Spahn visiting.
10 – 12 April 2017
We are organising the eighth edition of the workshop Algebra and Coalgebra meet Proof Theory.
6 February 2017
Ohad Kammar visiting.
30 November 2016
We are organising the second meeting Categories, Logic, and Physics, Scotland.
21 – 25 November 2016
Yde Venema and Helle Hvid Hansen visiting.
9 November 2016
We are organising a meeting of the Scottish Programming Languages Seminar.
3 October 2016
Welcome to Alasdair Lambert and Simone Barlocco who are starting PhDs in the MSP group.
15 – 16 September 2016
Jules Hedges visiting.
12 September 2016
Congratulations to Federico Orsanigo for successfully defending his thesis "Bifibrational parametricity: from zero to two dimensions"!
12 – 13 September 2016
Alex Simpson visiting.
5 – 9 September 2016
Stephan Spahn visiting.
20 – 26 April 2016
We are organising the 33rd Agda Implementors’ Meeting at Strathclyde.
29 February – 2 March 2016
Stephan Spahn visiting.
26 January 2016
Aleks Kissinger visiting.
25 – 29 January 2016
John Power visiting.
18 November 2015
Bram Westerbaan visiting.
19 – 23 October 2015
Viktor Winschel visiting.
5 – 9 October 2015
Alessandra Palmigiano visiting.
30 September 2015
Welcome to Ben Price who is starting a PhD under the supervision of Neil Ghani.
23 – 25 September 2015
Pierre Lescanne visiting.
14 – 18 September 2015
Giovanni Cina visiting.
25 – 29 August 2015
Julian Hedges visiting.
13 August 2015
Jeremy Siek visiting.

Older News

See here for older news.