This Friday, April 19th, 2024, our very own Ezra Schoen will be leading the #MSP101 seminar with a talk entitled: > Modal Fixpoint Logics, Categorically More details on can be found on the #SPLI Zulip and our own #MSP101 page msp.cis.strath.ac.uk/msp101.html

This Friday, April 26th, 2024, Zanzi Tangle, now at Monoidal Cafe will be leading the #MSP101 seminar with a talk entitled: > Free Relative Monads and Kan Algebras for Type and Scope Safe DSLs More details on can be found on the #SPLI Zulip and our own #MSP101 page msp.cis.strath.ac.uk/msp101.html

Call For Sponsorship: #SPLV 2024 We are organising the 2024 Scottish #ProgrammingLanguages and #Verification Summer School! Industry support is welcomed. Please see below for how your company can help us. scottish-pl-institute.github.io/splv/2024-stra… General registration will be opening soon!

This Friday, April 26th, 2024, @gibtsdes will be leading the #MSP101 seminar with a talk entitled: > A Coalgebraic Interpretation of the Lee/Yannakakis Minimisation Algorithm More details on can be found on the #SPLI Zulip and our own #MSP101 page msp.cis.strath.ac.uk/msp101.

🎺We are very pleased to announce that registration for the #SPLV24 summer school has now officially opened at the link below: scottish-pl-institute.github.io/splv/2024-stra…

This Friday, May 17th, 2024, our Ross Horne will be leading the #MSP101 seminar with a talk entitled: > What is deep inference? More details on can be found on the #SPLI Zulip and our own #MSP101 page msp.cis.strath.ac.uk/msp101.

This Friday, June 7th, 2024, our own Guillaume Allaiswill be leading the #MSP101 seminar with a talk entitled: > From Separation Logic to Dependent Parallel Skeletons More details on can be found on the #SPLI Zulip and our own #MSP101 page msp.cis.strath.ac.uk/msp101.html

To ensure that we are all on the same page with attending SPLV 2024, Team SPLV 2024 have published a Code of Conduct: spli.scot/splv/CODE-OF-C… If you are attending, please familiarise yourself with the Code prior to arrival.

Oi, youse! Applications for PhD scholarships (UK students fully funded, international students part funded) in Computer & Information Sciences at Strathclyde are *open*. Details on applications within MSP Group (now at mastodon.acm.org/@mspstrath) are here: msp.cis.strath.ac.uk/phd2025-JARSS.… Deadline: November 25th 2024