iiinova — where your digital self keeps evolving

Dan Marsden @stringdiagram.bsky.social · 24/03/2026

If you missed the MGS 2026 registration deadline, we have a few places left, and have extended registration until Sunday 29th March. ulrikbuchholtz.dk/mgs2026/

ulrikbuchholtz.dk

Midlands Graduate School 2026

Midlands Graduate School (MGS) 2026

000

Dan Marsden @stringdiagram.bsky.social · 25/02/2026

We're happy to announce that registration for the Midlands Graduate School 2026, to take place 13–17 April at the University of Nottingham, UK, is now open: ulrikbuchholtz.dk/mgs2026/

ulrikbuchholtz.dk

Midlands Graduate School 2026

Midlands Graduate School (MGS) 2026

000

Dan Marsden @stringdiagram.bsky.social · 01/12/2025

I'm delighted to announce that the next Midlands Graduate School (MGS) in the Foundations of Computing Science will be held in Nottingham, UK, from 13-17 April 2026. tinyurl.com/MGS-2026

tinyurl.com

Midlands Graduate School 2026

Midlands Graduate School (MGS) 2026

000

Reposted by Dan Marsden

Chris Heunen @chrisheunen.bsky.social · 26/11/2025

quantuminformatics-cdt.ac.uk

Six weeks left to apply: 16 fully funded Quantum Informatics PhDs

042

Reposted by Dan Marsden

Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 30/10/2025

I have taken over from Yuri Gurevich as the editor of the Logic in Computer Science column in the Bulletin of the EATCS. He has been doing this for 37 years! Big shoes to fill. For my first column, I've rendered my invited LICS 2025 talk into dialogue form: bulletin.eatcs.org/index.php/be...

bulletin.eatcs.org

Bulletin of EATCS

021

Dan Marsden @stringdiagram.bsky.social · 18/03/2025

There are just a few days left now to register for the Midlands Graduate School (MGS) in Sheffield, 7-11 April 2025. Eight fantastic courses on category theory, type theory, coalgebra, semantics and more. Registration closes on Monday 24th March. tinyurl.com/MGS-2025

tinyurl.com

MGS 2025

011

Dan Marsden @stringdiagram.bsky.social · 12/02/2025

Back to book writing AKA drawing lots of colourful pictures. This time a proof step relating to the codensity monad transformer, using some new notational tricks and a somewhat angular style.

190

Dan Marsden @stringdiagram.bsky.social · 27/01/2025

The Midlands Graduate School (MGS) in the Foundations of Computing Science will be held 7-11 April 2025 in Sheffield, UK. Eight fantastic courses on category theory, logic, type theory, coalgebra, semantics, and quantum computing. www.andreipopescu.uk/MGS_Sheffiel...

andreipopescu.uk

MGS 2025

032

Reposted by Dan Marsden

Viv Kendon @quantumviv.bsky.social · 14/01/2025

Quantum Physics and Logic is in Varna this year: qpl2025.github.io

qpl2025.github.io

QPL 2025

Official Website for the QPL 2025 Conference

033

Reposted by Dan Marsden

Journal of Functional Programming @journal-of-fp.bsky.social · 13/01/2025

We're delighted to publish ten PhD abstracts in this round. Topics range from types to tests, from synthesis to software engineering, from datatypes to differentiation. Have a look!

cambridge.org

PhD Abstracts | Journal of Functional Programming | Cambridge Core

PhD Abstracts - Volume 35

1103

Reposted by Dan Marsden

Sjoerd Visscher @sjoerdvisscher.w3future.com · 10/12/2024

You can't read "A survey of graphical languages for monoidal categories" by Peter Selinger and then not post the impressive diagram at the end!

A large diagram showing 25 different graphical languages and their relationships.

1102

Reposted by Dan Marsden

Michael Vollmer @vollmerm.bsky.social · 10/12/2024

The School of Computing at the University of Kent has a PhD scholarship available, and the deadline to apply is February 15th. We're especially interested in students interested in programming languages, compilers, and systems! www.kent.ac.uk/scholarships...

kent.ac.uk

063

Dan Marsden @stringdiagram.bsky.social · 03/12/2024

The University of Nottingham School of Computer Science just opened applications for 10 fully funded PhD studentships. For people interested in functional programming, category theory, type theory and other areas of interest to the FP Lab, please see here: people.cs.nott.ac.uk/pszgmh/10-ph...

people.cs.nott.ac.uk

10 Fully-Funded PhD Studentships

001

Dan Marsden @stringdiagram.bsky.social · 02/12/2024

UK Computer Scientists: this years Midlands Graduate School Christmas Seminars will be held on the afternoon of Tuesday 17th December at the University of Sheffield. andreipopescu.uk/MGS_Sheffiel...

andreipopescu.uk

Midlands Graduate School Christmas Seminars 2024

011

Dan Marsden @stringdiagram.bsky.social · 23/11/2024

After finding I'd forgotten a lot of useful stuff, I've finally treated myself to @chrisheunen.bsky.social and Jamie Vicary's excellent book. Great to have so much good stuff in one place, even if that isn't my memory!

060

Dan Marsden @stringdiagram.bsky.social · 18/11/2024

As an introduction, I'm a theoretical computer scientist based at the University of Nottingham, and a former industry programmer. I'm interested in category theory, logic and the foundations of computer science. My blog on the theory of monads can be found here: stringdiagram.com/blog/

stringdiagram.com

Dan Marsden

Theoretical computer scientist and lover of of monads and string diagrams

3225