December 2025 Archives by author

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

Starting: Fri Dec 5 03:27:21 GMT 2025
Ending: Sun Dec 14 22:01:23 GMT 2025
Messages: 2

• [msp-interest] [MSP101] Guillaume Allais: A Hoare Logic Domain Specific Language (1pm Mon 8/12, LT TBD)   Fiona Blackett
• [msp-interest] [MSP101] Ezra Schoen: Duality (1pm Mon 15/12, LT310 & Online)   Fiona Blackett

Last message date: Sun Dec 14 22:01:23 GMT 2025
Archived on: Sun Dec 14 22:02:27 GMT 2025

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