MSP Group (now at mastodon.acm.org/@mspstrath)

After careful consideration, we decided it's time to retire this account and move permanently to #Mastodon. You can find us on the following server: @mspstrath" target="_blank" rel="nofollow noopener">mastodon.acm.org/@mspstrath See you on the other side!

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 @mspstrath are here: msp.cis.strath.ac.uk/phd2025-JARSS.… Deadline: November 25th 2024

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.

Link: spli.scot/splv/2024-stra… We are kindly supported by @SICSA_Scotland , and Bronze Level supporters: @welltyped & @tweagio. Hope to see you all later this month!

🚨 Registration for the Scottish Programming Languages & Verification Summer School 2024 closes on Sunday 14 July 2024! If you want to come and see all that Sunny Glasgow and SPLI has to offer please register in the link below. #ProgrammingLanguages #SummerSchool #Verification

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

More details on can be found on the #SPLI Zulip and our own #MSP101 page msp.cis.strath.ac.uk/msp101.html

This Friday, May 24th, 2024, Jan de Muijnck-Hughes will be leading the #MSP101 seminar with a talk entitled: > Propagating Rose Trees with Dependent Types to Grow Shaped ASTs Generically More details on can be found on our own #MSP101 page msp.cis.strath.ac.uk/msp101.html

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.

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

✨ We think this lineup is absolutely Fan'Dabi'Dozi! ✨ 🔎 For more details, and to see what we have in store, visit: scottish-pl-institute.github.io/splv/2024-stra… See you in July!

Track 2⃣ will see Andres Goens (@andresgoens) teaching us about 'Protocol Verification'; Sam Lindley (@reifyreflect) on 'Effects and Handlers'; and Jules Hedges (@_julesh_) on 'Applied Category Theory'

We are pleased to officially shout that we are organising the ✨ Scottish Programming Languages and Verification Summer School 2024! ✨ Registration will be open later this month We are kindly supported by @SICSA and Bronze Level supporter: @welltyped 👇thread with courses:

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.

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, @tangled_zans 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

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