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.

What does John Stewart Bell's work tell us about the state of the State of Georgia? @LeeEdwardA's invited talk at #ifm20 @iFMconf revisits the fundamental notion of state in distributed cyber-physical systems.

David Parker opening #ifm20 with a sweeping talk that brings us from an overview of stochastic model checking to recent advances in the automatic verification of stochastic games. @iFMconf

Thanks for all interesting questions and comments (ongoing in Slack). Here's a video of the presentation youtu.be/QYppINtnvFU @rtorkar @drfeldt

Our master's program in Software and Data Engineering is accepting applications for the academic year 2020/21. Current and past students liked it a lot, and it's getting better every year 😎 si.usi.ch/master/ youtube.com/watch?v=mDngxLWj… @usisoftware

Jean-Christophe Filliâtre opening the second day of #ifm19 @iFMconf with a presentation of recent work on verifying OCaml libraries. Everyone likes a talk with a demo!

Wytse Oortwijn walks us through an official natural language specification of a Dutch tunnel, pointing out that it uses first-order quantifiers! The #ifm19 audience approves. @iFMconf

Andreas Griesmayer kicking off the PhD symposium of #ifm19 @iFMconf with an interesting talk about verification at @Arm About 50% of development resources are for formal verification!

Here we go! The #USIhackathon has started!