[msp-interest] Summer School on Formal Methods for Information Security, Tarragona, June

[Ross Horne]

Hello all,
I've be asked to share details on:

the Summer School on Formal Methods for Information Security in Tarragona,  Spain, from June 18-20, 2025.

The registration deadline is fast approaching, and there’s a limited number of spots available.

Here’s the link with more information: https://proyectohermesincibe.org/ssfm/

Best regards,

Ross
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.strath.ac.uk/archives/msp-interest/attachments/20250506/ff974279/attachment.html