mastodon 4.7.3Mathematically Structured Programming group @ The University of Strathclyde
We are interested in type theory, category theory, and how to stop seeing them as different things.
Toots by @jfdm@discuss.systems && @dylan@mathstodon.xyz &&
@dilsatby@mathstodon.xyz
On Thursday 7 May at 15:00, Bob Atkey will give a talk in the #MSP101 seminar entitled
> Embedding containers in coherence spaces
The talk will take place in Livingstone Tower room LT711.
More details can be found on the @spli@mastodon.scot Zulip and at https://msp.cis.strath.ac.uk/msp101.html .
On Thursday 14 May at 15:00, Fredrik Nordvall Forsberg will give a talk in the #MSP101 seminar entitled
> Constructive transfinite constructions
The talk will take place in Livingstone Tower room LT711.
More details can be found on the @spli@mastodon.scot Zulip and at https://msp.cis.strath.ac.uk/msp101.html .
On Thursday 11, December 2025 we are excited about an extraordinary #MSP101 by Noam Zeilberger.
> The free bifibration on a functor.
More details can be found on the @spli Zulip and our own #MSP101 (https://msp.cis.strath.ac.uk/msp101.html) page.
Hey you'se!
At Strathclyde, the John Anderson Research Studentship Scheme for PhD studies has been announced.
Deadline: 22nd December 2025.
Shortlisting: 7th January 2026.
We are expecting several fully funded positions for *UK Home Students* for CIS.
As well as MSP, you will be able to work with other talented folks within CIS, e.g. @StrathCyber@mastodon.acm.org.
If you are interested in applying, more information, including a list of potential supervisors from MSP, is here:
On Monday 16, March 2026 our very own @clemens@mathstodon.xyz will be giving:
> Thin behaviours, (co)algebraically (Part I)
More details can be found on the @spli@mastodon.scot and our own #MSP101 (https://msp.cis.strath.ac.uk/msp101.html) page.
*Update*: This talk will be rescheduled for later in the academic year.
This Monday, @gallais@mamot.fr will be giving the #MSP101 talk.
> A Hoare Logic Domain Specific Language
More details can be found on the @spli@mastodon.scot Zulip and our own #MSP101 (https://msp.cis.strath.ac.uk/msp101.html) page.
This Monday, @vc@mathstodon.xyz will be giving the #MSP101 talk.
> Semantic analysis of Polarization
More details can be found on the @spli@mastodon.scot Zulip and our own #MSP101 (https://msp.cis.strath.ac.uk/msp101.html) page.
This Monday, @ohad@mathstodon.xyz will be giving the #MSP101 talk.
> Modular abstract syntax trees (MAST) – substitution tensors with second-class sorts
More details can be found on the @spli@mastodon.scot Zulip and our own #MSP101 (https://msp.cis.strath.ac.uk/msp101.html) page.
On Monday 23 March at 13:00, Emma Tye will give a talk in the #MSP101 seminar entitled
> (A very belated) Advert for POPL'26
The talk will take place in Livingstone Tower room LT711.
More details can be found on the @spli@mastodon.scot Zulip and at https://msp.cis.strath.ac.uk/msp101.html .
We are delighted to announce that our very own @pigworker@types.pl will starting #MSP101, and they will be talking about a few of their favourite things...
It ain't raindrops on roses!
On Monday 22nd September @ 1300hrs we will be hearing about:
> Leftovers, Rightunders: Typechecking Thinnings Compositionally
More details will be made available soon on the ever trusty @spli@mastodon.scot Zulip and our own #MSP101 page.
https://msp.cis.strath.ac.uk/msp101.html
Sorry for late notice! It's Week 0. Panic!
We are pleased to *officially* announce that we are organising the Scottish Programming Languages and Verification Summer School 2024!
Registration is *now* open! See our website for the link.
We are kindly supported by SICSA and Bronze Level supporter: Well-Typed!
#ProgrammingLanguages #SummerSchool #Verification
For more details, and to see what we have in store, visit:
https://scottish-pl-institute.github.io/splv/2024-strathclyde/
(1/n)
*Edit* to announce registration opening.
On Tuesday 9, December 2025 our very own @jfdm@discuss.systems will be giving:
> An Introduction to Design-by-Contract with Dafny
More details can be found on the @spli@mastodon.scot Zulip and our own #MSP101 (https://msp.cis.strath.ac.uk/msp101.html) page.
#lrt The rumours are true.
We are looking for a new colleague to join us in MSP at Strathclyde in Glasgow.
This Monday, @clemens@mathstodon.xyz will be giving the #MSP101 talk.
> Graph Games with Infinite Plays
More details can be found on the @spli@mastodon.scot Zulip and our own #MSP101 (https://msp.cis.strath.ac.uk/msp101.html) page.
This Friday, 24th May 2024, Jan de Muijnck-Hughes ( @jfdm@discuss.systems ) will be giving a talk entitled:
> Propagating Rose Trees with Dependent Types to Grow Shaped ASTs Generically
See the MSP website (https://msp.cis.strath.ac.uk/msp101.html) for an abstract and more information on where to watch the talk.
This Friday (April 26th, 2024), @zanzi@mathstodon.xyz 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.
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@mastodon.scot has to offer, please register here:
https://spli.scot/splv/2024-strathclyde/
We are kindly supported by SICSA, and Bronze Level supporters: Well-Typed & Tweag.
#ProgrammingLanguages #SummerSchool #Verification
Hope to see you all later this month!
Hey you'se!
Summer is over! And the Autumn nights are drawing in.
So you know what time it is!
It is time for #MSP101
We've had our planning meeting for this semester, and we are excited for what is coming!
Tune in for more exciting details.
#Ult Hear ye; Hear ye. We are back!
We are back on Fridays at 1300hrs Glasgow time. In person and online.
Kicking the season off will be our own @pigworker@types.pl who will be 'Effing W'.
Cannot wait to hear what they have to say!
More details can be found on the @spli@mastodon.scot Zulip and our own #MSP101 page.
This Friday, 7th June 2024, Guillaume Allais (@gallais@mamot.fr) is giving a talk for the #MSP101 seminar entitled:
> From Separation Logic to Dependent Parallel Skeletons
See the MSP website (https://msp.cis.strath.ac.uk/msp101.html) for an abstract and more information on where to watch the talk.
This Friday, 17th May 2024, Ross Horne will be giving a talk entitled:
> What is deep inference?
See the MSP website (https://msp.cis.strath.ac.uk/msp101.html) for an abstract and more information on where to watch the talk.
On Monday 30 March at 13:00, Sam Fish will give a talk in the #MSP101 seminar entitled
> Categorical Quantum Nonlocality
The talk will take place in Livingstone Tower room LT711.
More details can be found on the @spli@mastodon.scot Zulip and at https://msp.cis.strath.ac.uk/msp101.html .