In the opening keynote of the FM symposium, Marta Kwiatkowska argues that formal methods can help provide provable guarantees is high-stake AI/ML applications. #FM24 @FMsymp @FormalMtds

Claire Dross opens the second day of #formalise24 with an exciting talk about the collaboration between deductive verification and data flow analysis in SPARK 2014 @FormalMtds @FormaliSEconf

@c_cadar opening #formalise24 with a sweeping perspective on formal and informal methods for software development @FormaliSEconf @FormalMtds

Congratulations to the fresh Dr. @dvmarcilio for successfully defending his PhD thesis at @usisoftware! It was a pleasure working with you for the past four years. Many thanks to the committee members @mauricioaniche (Adyen/TU Delft), Harald Gall (UZH), @gbavota, and @mathau

#ChatGPT is struggling because it doesn't follow the design recipe #HtDP

The third, and last, day of iFM 2022 begins with a sweeping talk by Yamine Aït-Ameur about adding external reusable theories to the Event-B method. #ifm22 @iFMconf

Roderick Bloem opening the second day of iFM 2022 by showing the public some embedded devices that we want to keep safe from side-channel attacks @iFMconf #ifm22

After giving an inspiring mentoring talk at yesterday's PhD symposium, Louise Dennis opens iFM 2022 with a keynote on formally verifying autonomous systems. #ifm22 @iFMconf

iFM's PhD symposium opens with a remote presentation by Yamine Ait-Ameur (who'll join in person for the main conference) about the importance of domain knowledge in FMs, with motivational quotes by Carnap and Minsky @iFMconf #ifm22

Everything is ready for the iFM (integrated Formal Methods) week to start -- in Lugano and online! @iFMconf #ifm22

Hongseok Yang starts his invited talk at #ifm20 @iFMconf by warning us that ML algorithms often make implicit assumptions. In the rest of the talk, he'll demonstrate program analysis techniques that can verify when these assumptions are met.