From fiona.blackett at strath.ac.uk Fri Dec 5 03:27:21 2025 From: fiona.blackett at strath.ac.uk (Fiona Blackett) Date: Fri, 5 Dec 2025 03:27:21 +0000 Subject: [msp-interest] [MSP101] Guillaume Allais: A Hoare Logic Domain Specific Language (1pm Mon 8/12, LT TBD) Message-ID: Hello all, Next Monday Guillaume Allais will be giving our MSP101 talk, see below for details! Cheers, Fiona Blackett ---------------------------------------------------------------------------------------------- Date, time and place: Monday 8th December, 1:00 pm, Livingstone Tower, room TBD Speaker: Guillaume Allais (MSP) Title: A Hoare Logic Domain Specific Language Zoom Link: https://strath.zoom.us/j/82143788147?pwd=dMy8sftupiQ8eEiIqLzodkMra6RTfn.1 Meeting ID: 821 4378 8147 Password: whiteboard ---------------------------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.strath.ac.uk/archives/msp-interest/attachments/20251205/d6881b96/attachment.html From fiona.blackett at strath.ac.uk Sun Dec 14 22:01:23 2025 From: fiona.blackett at strath.ac.uk (Fiona Blackett) Date: Sun, 14 Dec 2025 22:01:23 +0000 Subject: [msp-interest] [MSP101] Ezra Schoen: Duality (1pm Mon 15/12, LT310 & Online) Message-ID: Hello all, This Monday Ezra Schoen will be giving our MSP101 talk! Cheers, Fiona Blackett ---------------------------------------------------------------------------------------------- Date, time and place: Monday 15th December, 1:00 pm, Livingstone Tower, LT310 Speaker: Ezra Schoen (MSP) Title: Duality Zoom Link: https://strath.zoom.us/j/82143788147?pwd=dMy8sftupiQ8eEiIqLzodkMra6RTfn.1 Meeting ID: 821 4378 8147 Password: whiteboard ---------------------------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.strath.ac.uk/archives/msp-interest/attachments/20251214/490e3301/attachment.html