[Verifpal] Eurocrypt 2022: Verifpal Workshop

[Nadim Kobeissi]

Hello everyone,

The Verifpal Workshop is happening at Eurocrypt 2022, as an affiliated event, next weekend on Sunday, May 29th! Georgio and I look forward to seeing everyone who’s registered.

Learn more and register here:
https://verifpal.com/events/eurocrypt2022/ <https://verifpal.com/events/eurocrypt2022/> 

The webpage above has all the info you could possibly need, so I’ll keep this email short. We are almost done with workshop preparations and hope to ensure a fun, educational, and valuable time for all involved.

Thank you all, and see you soon.

Nadim Kobeissi
Symbolic Software • https://symbolic.software

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20220522/d3346661/attachment.htm>