[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:


Hope to see some of you there!

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

More information about the Verifpal mailing list