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 Zulip and at https://msp.cis.strath.ac.uk/msp101.html .

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 Zulip and at https://msp.cis.strath.ac.uk/msp101.html .

On Monday 16, March 2026 our very own @clemens will be giving:

> Thin behaviours, (co)algebraically (Part I)

More details can be found on the @spli and our own #MSP101 (https://msp.cis.strath.ac.uk/msp101.html) page.

On Tuesday 9, December 2025 our very own @jfdm will be giving:

> An Introduction to Design-by-Contract with Dafny

More details can be found on the @spli Zulip and our own #MSP101 (https://msp.cis.strath.ac.uk/msp101.html) page.

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.

*Update*: This talk will be rescheduled for later in the academic year.

This Monday, @gallais will be giving the #MSP101 talk.

> A Hoare Logic Domain Specific Language

More details can be found on the @spli Zulip and our own #MSP101 (https://msp.cis.strath.ac.uk/msp101.html) page.

This Monday, @vc will be giving the #MSP101 talk.

> Semantic analysis of Polarization

More details can be found on the @spli Zulip and our own #MSP101 (https://msp.cis.strath.ac.uk/msp101.html) page.

This Monday, @clemens will be giving the #MSP101 talk.

> Graph Games with Infinite Plays

More details can be found on the @spli Zulip and our own #MSP101 (https://msp.cis.strath.ac.uk/msp101.html) page.

This Monday, @ohad 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 Zulip and our own #MSP101 (https://msp.cis.strath.ac.uk/msp101.html) page.

We are delighted to announce that our very own @pigworker 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 Zulip and our own #MSP101 page.

https://msp.cis.strath.ac.uk/msp101.html

Sorry for late notice! It's Week 0. Panic!