[Verifpal] Verifpal at FOSDEM

Nadim Kobeissi nadim at symbolic.software
Sat Jan 4 04:19:28 CET 2020

Hello everyone,

I’ll be at FOSDEM 2020 in February ready to discuss Verifpal, give away stickers, etc.

I’ll also be giving a 15-minute talk on Verifpal:

Finally, a reminder that I’ll be at Real World Crypto 2020 in New York next week, also with Verifpal stickers! https://rwc.iacr.org

Nadim Kobeissi
Symbolic Software • https://symbolic.software
Sent from my iPhone
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200104/8ccf1249/attachment.htm>

More information about the Verifpal mailing list