--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on February 2020 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Berlin software verification meetup 2020-02-26



Hi

Something I think is relevant to this audience: I talked to Stanislav
Pankevich a few days ago, who is the organizer of a software
verification meetup in Berlin. They're holding their second meetup of
the year on February 26th.

Details:
https://www.meetup.com/Berlin-Software-Verification-Meetup/

Recording from the previous meetup:
https://invidio.us/watch?v=fBZNtu4TMz8

Stanislav and his colleages have been keeping an eye on Frama-C, and I
might hold a presentation about it remotely for the meetup some time
later this year

/Tomas