Next Formosa Retreat

The next Formosa research retreat will take place in Porto in the week of November 24–28. The programme includes introductions to tool development, tool tutorials, discussions on cryptography, and discussions of advanced projects, including practical deployment of high-assurance cryptographic software.

Join the zulip for more information about the retreat and its programme.