[Verifpal] FOSDEM 2020 in Brussels this Weekend

Nadim Kobeissi nadim at symbolic.software
Tue Jan 28 18:19:17 CET 2020


Hello everyone,

This is just to let you know that I’ll be at FOSDEM this weekend. Aside from carrying Verifpal stickers, I’ll be giving a 15-minute talk on Verifpal:

https://fosdem.org/2020/schedule/event/verifpal/

Hope to see some of you there!

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



More information about the Verifpal mailing list