Mathematically Structured Programming group @UniStrathclyde
We are interested in type theory, category theory, and how to stop seeing them as different things.
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!
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
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.
🚨 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
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!
🚨 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 https://t.co/uCU7wNZk3t
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
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.
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:
✨ 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!
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:
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'
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.
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!
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
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