[Verifpal] Eurocrypt 2020 Event Delayed

Nadim Kobeissi nadim at symbolic.software
Tue Apr 7 16:53:50 CEST 2020

Hello everyone,

I am sorry to inform you that due to the COVID-19 crisis, the Verifpal Tutorial affiliated event that was meant to take place with Eurocrypt 2020 has been delayed until Eurocrypt 2021.

Thank you,

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

More information about the Verifpal mailing list