April 2025 Archives by subject

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

Starting: Thu Apr 3 13:12:59 BST 2025
Ending: Wed Apr 16 14:48:14 BST 2025
Messages: 2

• [msp-interest] [MSP101] April Gonçalves: A quick & dirty look at at abstract syntax with binders and metavariables (LT210, 3pm Tue 22-Apr)   Dilsat Yuksel
• [msp-interest] [MSP101] Aven Dauz: Modelling cybersecurity games with compositional game theory (LT412, 3pm Mon 7-Apr)   Dilsat Yuksel

Last message date: Wed Apr 16 14:48:14 BST 2025
Archived on: Wed Apr 16 14:49:17 BST 2025

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