--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on February 2020 ---
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