May 2025 Archives by thread

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

Starting: Tue May 6 16:47:58 BST 2025
Ending: Fri May 23 17:48:06 BST 2025
Messages: 2

• [msp-interest] Summer School on Formal Methods for Information Security, Tarragona, June   Ross Horne
• [msp-interest] [MSP101] Liang-Ting Chen: A formal treatment of bidirectional typing (LT210, 2pm Fri 30-May)   Dilsat Yuksel

Last message date: Fri May 23 17:48:06 BST 2025
Archived on: Fri May 23 17:49:07 BST 2025

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