[Verifpal] Verifpal at ACM CCSW 2020

ilmu ilmu at rishi.is
Fri Oct 16 16:40:34 CEST 2020


Rofl

Genius cryptography!

-------- Original Message --------
On 16 Oct 2020, 16:06, Nadim Kobeissi via Verifpal wrote:

> Hello everyone,
>
> Verifpal got accepted as a short paper at CCSW: https://ccsw.io
>
> The event is happening online this year due to the pandemic and we were asked to pre-record our talk, so here it is:
> https://www.youtube.com/watch?v=dAIZSDS7mbE
>
> Happy to hear your feedback,
>
> Nadim Kobeissi
> Symbolic Software • https://symbolic.software
>
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20201016/72d6e2e6/attachment.htm>


More information about the Verifpal mailing list