[Verifpal] Verifpal at ACM CCSW 2020

Nadim Kobeissi nadim at symbolic.software
Fri Oct 16 16:06:28 CEST 2020


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



More information about the Verifpal mailing list