From ross.horne at strath.ac.uk Tue May 6 16:47:58 2025 From: ross.horne at strath.ac.uk (Ross Horne) Date: Tue, 6 May 2025 15:47:58 +0000 Subject: [msp-interest] Summer School on Formal Methods for Information Security, Tarragona, June Message-ID: 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