Formal Methods Europe
@formalmtds
FACS 24 will start tomorrow at Politecnico di Milano! We do have an exciting program which is available on our website: facs-conference.github.io/2024/program/ Also the proceedings are publised online at link.springer.com/book/978303171β¦
Presenting our recent work on analyzing reinforcement learning policies at Formal Methods 2024 in Milano! Come say hi if youβre attending/in the city!
Marta Kwiatkowska kicks off Formal Methods 2024 in Milan with a keynote on adversarial robustness certification Formal Methods Europe
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 Formal Methods 2024 Formal Methods Europe
This was a tough moment to be in charge of social media content, couldn't hold the "oh" when Prof. Ana Cavalcanti (Formal Methods Europe) uttered the first "she". Grazie (and congratulations π)