[Verifpal] Verifpal Talk at Mozilla Berlin

[Nadim Kobeissi]

Hello everyone,

The Verifpal talk at Mozilla Berlin happened last night and was a success. Around 30 attendees were present.

Here are the slides, as promised:

https://verifpal.com/res/pdf/berlincrypto2019.pdf

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

> On 15 Oct 2019, at 2:21 PM, Nadim Kobeissi <nadim at symbolic.software> wrote:
> 
> Hello everyone,
> 
> For those interested, there will a talk about Verifpal at Mozilla Berlin in November:
> 
> https://berlin-crypto.github.io/event/verifpal.html
> 
> Please attend! I will post slides as a reply to this thread after the talk.
> 
> Nadim Kobeissi
> Symbolic Software • https://symbolic.software
>