From fiona.blackett at strath.ac.uk Wed Jun 3 18:34:42 2026 From: fiona.blackett at strath.ac.uk (=?utf-8?Q?Fiona_Blackett?=) Date: Wed, 03 Jun 2026 17:34:42 +0000 Subject: [msp-interest] [MSP101] Rin Liu: ilsts (Symmetric List Objects) Part 2 (3pm Thu 4/6, LT711) Message-ID: Dear all, We have another MSP101 seminar coming up. Hope to see you there! Best wishes, Fiona Date, time and place: Thursday 4 June, 15:00, Livingstone Tower room LT711 Online attendance: https://www.youtube.com/channel/UC3IBMh699qT5wawP3nHRItg/live Speaker: Rin Liu (MSP) Title: ilsts (Symmetric List Objects) Part 2 Abstract: Cons-lists are fundamental to functional programming, and are often constructed as inductive types or initial algebras. More generally, lists can be axiomatised internally in any monoidal category as list objects, without requiring sums or existence of initial algebras. When strengthened to parametrised list objects, they give a construction of free monoids. In monoidal categories with symmetry, we can consider symmetric variants of these definitions -- symmetric list objects or ilsts -- that allow transposing the two front elements of the list. We will show string-diagramatically that these give a construction of the free commutative monoid, and then show some properties of related objects. MSP101 Feeds: Web: http://msp.cis.strath.ac.uk/msp101.html RSS: http://msp.cis.strath.ac.uk/msp101.rss iCal: http://msp.cis.strath.ac.uk/msp101.ics From emma.tye at strath.ac.uk Tue Jun 9 10:35:48 2026 From: emma.tye at strath.ac.uk (=?utf-8?Q?Emma_Tye?=) Date: Tue, 09 Jun 2026 09:35:48 +0000 Subject: [msp-interest] [MSP101] Clemens Kupke: Basic Stone Duality (classically) (3pm Thu 11/6, LT711) Message-ID: Dear all, We have another MSP101 seminar coming up. Hope to see you there! Best wishes, Emma Date, time and place: Thursday 11 June, 15:00, Livingstone Tower room LT711 Online attendance: https://www.youtube.com/channel/UC3IBMh699qT5wawP3nHRItg/live Speaker: Clemens Kupke (MSP) Title: Basic Stone Duality (classically) Abstract: In this talk I will give an introduction to basic Stone Duality. I will first discuss the basic duality between Boolean Algebras and Stone Spaces. I will then move to variations of this result (examples could be Stone Duality for Distributive Lattices, Heyting Algebras and for so-called modal algebras). MSP101 Feeds: Web: http://msp.cis.strath.ac.uk/msp101.html RSS: http://msp.cis.strath.ac.uk/msp101.rss iCal: http://msp.cis.strath.ac.uk/msp101.ics From fredrik.nordvall-forsberg at strath.ac.uk Wed Jun 10 11:31:22 2026 From: fredrik.nordvall-forsberg at strath.ac.uk (Fredrik Nordvall Forsberg) Date: Wed, 10 Jun 2026 11:31:22 +0100 Subject: [msp-interest] Expressions of Interest for fellowships with the MSP group, University of Strathclyde, Scotland Message-ID: Dear colleagues, The Mathematically Structured Programming (MSP) group at the University of Strathclyde, Glasgow, Scotland, invites expressions of interest from candidates who would like to apply for the following fellowship schemes with us as the host institution: 1. MSCA Postdoctoral Fellowships 2026 (deadline: 9 September 2026) ?https://marie-sklodowska-curie-actions.ec.europa.eu/actions/postdoctoral-fellowships 2. EPSRC Mathematical Sciences Early Independence Fellowships (next batch deadline: 30 September 2026) ?https://www.ukri.org/opportunity/mathematical-sciences-early-independence-fellowship/ Please see the links above for full details on *eligibility* and the *application process*. == About the MSP Group == Our vision is to use mathematics to understand the nature of computation, and to turn that understanding into the next generation of programming languages. We see the mathematical foundations of computation and programming as inextricably linked --- we study one so as to develop the other. The group has 8 (soon to be 9) academic staff, and a lively community of PhD students. More about our research and members is available here: https://msp.cis.strath.ac.uk/people.html == Get in Touch == If you?re interested, please drop an email to any of us, with a few words about your research interests and which scheme you have in mind. We?re happy to discuss project ideas and help you with the application, and the application process. There is also institutional support from the university for preparing the same. Please contact us as soon as possible, but ideally at least two months before the deadline. Also, please feel free to forward this to anyone who might be interested. Best wishes, Fredrik Nordvall Forsberg