[msp-interest] [MSP101] Guillaume Allais: A Hoare Logic Domain Specific Language (1pm Mon 8/12, LT TBD)

[Fiona Blackett]

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