[Verifpal] FOSDEM 2020 in Brussels this Weekend

Nadim Kobeissi 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!

https://www.youtube.com/watch?v=O1ztzfwLkc0

Nadim Kobeissi
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:
> 
> https://fosdem.org/2020/schedule/event/verifpal/
> 
> Hope to see some of you there!
> 
> Nadim Kobeissi
> Symbolic Software • https://symbolic.software
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: Message signed with OpenPGP
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200201/5d9615d7/attachment.sig>


More information about the Verifpal mailing list