[Verifpal] Verifpal Talk at Mozilla Berlin
nadim at symbolic.software
Wed Nov 6 12:50:42 CET 2019
The Verifpal talk at Mozilla Berlin happened last night and was a success. Around 30 attendees were present.
Here are the slides, as promised:
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:
> Please attend! I will post slides as a reply to this thread after the talk.
> Nadim Kobeissi
> Symbolic Software • https://symbolic.software
More information about the Verifpal