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

Mathematically Structured Programming group @UniStrathclyde
We are interested in type theory, category theory, and how to stop seeing them as different things.

[MSP Group (now at mastodon.acm.org/@mspstrath) @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:

https://t.co/EWXQGweXvq

See you on the other side!

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

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:

https://t.co/wY5l8GFtr0

Deadline: November 25th 2024

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

To ensure that we are all on the same page with attending SPLV 2024, Team SPLV 2024 have published a Code of Conduct:

https://t.co/btfakV5d39

If you are attending, please familiarise yourself with the Code prior to arrival.

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

🚨 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

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

Link: https://t.co/7NGXlU5vyP

We are kindly supported by @SICSA_Scotland , and Bronze Level supporters: @welltyped & @tweagio.

Hope to see you all later this month!

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

🚨 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

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

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 https://t.co/uCU7wNZk3t

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

More details on can be found on the #SPLI Zulip and our own #MSP101 page https://t.co/hRxVVNA0EO

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

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 https://t.co/hRxVVNA0EO

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

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 https://t.co/Rs5CE9YASP.

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

🎺We are very pleased to announce that registration for the #SPLV24 summer school has now officially opened at the link below:
https://t.co/0Bm0hsdXgm

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

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:

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

✨ We think this lineup is absolutely Fan'Dabi'Dozi! ✨

🔎 For more details, and to see what we have in store, visit:

https://t.co/PNDKyJiMua

See you in July!

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

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:

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

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'

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

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 https://t.co/XPUsPLh3pi.

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

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.

https://t.co/WvgzQp8AGV

General registration will be opening soon!

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

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 https://t.co/hRxVVNA0EO

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

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 https://t.co/hRxVVNA0EO