October 2025 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Wed Oct 1 17:18:57 BST 2025
Ending: Thu Oct 30 16:38:27 GMT 2025
Messages: 4

• [msp-interest] [MSP101] Fredrik Nordvall Forsberg: An introduction to constructive logic (4pm Fri 10/10, LT210)   Fredrik Nordvall Forsberg
• [msp-interest] [MSP101] Georgi Nakov: Matrix Typing Rules (1pm Mon 3/11, LT1414a)   Fiona Blackett
• [msp-interest] [MSP101] Jeremy Singer: Let's Take Esoteric Programming Languages Seriously (4pm Fri 3/10, LT1414a)   Fiona Blackett
• [msp-interest] [MSP101] Sean Watters: What I did in my PhD (1pm Mon 27/10, LT310)   Fiona Blackett

Last message date: Thu Oct 30 16:38:27 GMT 2025
Archived on: Thu Oct 30 16:39:31 GMT 2025

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...