September 2026 Archives by thread

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

Starting: Mon Sep 7 10:38:05 BST 2026
Ending: Tue Sep 29 13:10:33 BST 2026
Messages: 4

• [msp-interest] [MSP101] Kostia Chardonnet: Approximation Theory for Distant Bang Calculus (1pm Tue 15/9, LT210)   Emma Tye
• [msp-interest] STPV 2026, University of Strathclyde Wednesday 7 October, noon - please register   Clemens Kupke
• [msp-interest] [MSP101] Fred Nordvall Forsberg: Linear Logic (3pm Tue 29/9, LT619)   Emma Tye
• [msp-interest] [MSP101] Conor McBride: Bi-directional Typing (3pm Tue 29/9, LT619)   Emma Tye

Last message date: Tue Sep 29 13:10:33 BST 2026
Archived on: Tue Sep 29 13:12:29 BST 2026

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