[Verifpal] FOSDEM 2020 in Brussels this Weekend
nadim at symbolic.software
Sat Feb 1 20:37:58 CET 2020
Video of the talk is now online. By the way, thank you to everyone who came up and chatted with me after the talk! I’ll be there again tomorrow!
Symbolic Software • https://symbolic.software
> On 28 Jan 2020, at 6:19 PM, Nadim Kobeissi <nadim at symbolic.software> wrote:
> 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
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 833 bytes
Desc: Message signed with OpenPGP
More information about the Verifpal