Mathematically 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
Mathematically 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 && @dylan && @dilsatby
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 .
Mathematically 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 && @dylan && @dilsatby
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 .
Mathematically 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 && @dylan && @dilsatby
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 .
Mathematically 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 && @dylan && @dilsatby
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 .
Mathematically 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 && @dylan && @dilsatby
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.
Mathematically 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 && @dylan && @dilsatby
#lrt The rumours are true.
We are looking for a new colleague to join us in MSP at Strathclyde in Glasgow.
Mathematically 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 && @dylan && @dilsatby
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.
Mathematically 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 && @dylan && @dilsatby
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.
Mathematically 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 && @dylan && @dilsatby
*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.
Mathematically 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 && @dylan && @dilsatby
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:
Mathematically 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 && @dylan && @dilsatby
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.
Mathematically 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 && @dylan && @dilsatby
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.
Mathematically 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 && @dylan && @dilsatby
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.
Mathematically 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 && @dylan && @dilsatby
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!
Mathematically 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 && @dylan && @dilsatby
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.
Mathematically 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 && @dylan && @dilsatby
Mathematically 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 && @dylan && @dilsatby
Mathematically 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 && @dylan && @dilsatby
We are pleased that a few of our number have received pleasing results from @icfp_conference@mastodon.acm.org
Congratulations!
@pigworker@types.pl with 'Fulls Seldom Differ'
@gallais@mamot.fr and our @spli@mastodon.scot friends @ohad@mathstodon.xyz and @edwinb@types.pl with FREX
Mathematically 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 && @dylan && @dilsatby
#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.
Mathematically 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 && @dylan && @dilsatby
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!
Mathematically 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 && @dylan && @dilsatby
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.
Mathematically 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 && @dylan && @dilsatby
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.
Mathematically 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 && @dylan && @dilsatby
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.
Mathematically 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 && @dylan && @dilsatby
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.
Mathematically 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 && @dylan && @dilsatby
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.