Formal Methods EuropeMar 7, 2025

The invited talks from #FMAS2024 are captured on our YouTube channel: https://buff.ly/3QFxNhE

You can (re)watch "Proof for Industrial Systems using Neural Certificates" by Daniel Kröning (joint with #iFM2024) and "Self-Adaptation in Autonomous Systems" by Lizeth Tarifa

#FormalMethods
@FMASWorkshop

Before you continue to YouTube

FMASWorkshopNov 13, 2024

The joint #iFM2024 / #FMAS2024 session chaired by Mengwei Xu starts shortly.

This session marks the concluding session of #FMAS2024 for this year! It will feature three papers from iFM and the best paper award winner from FMAS.

FMASWorkshopNov 13, 2024
The first-ever FMAS Best Paper award was announced at the #FMAS2024 dinner yesterday. Congratulations to Serena Serbinowska, Preston Robinette, Gabor Karsai, and Taylor T Johnson for "Formalizing Stateful Behavior Trees." For more details, attend the #FMAS2024 and #iFM2024 session today at 11:30 (GMT).
FMASWorkshopNov 13, 2024
The joint invited talk of #FMAS2024 and #iFM2024 by Prof. Daniel Kröning on "Proof for Industrial Systems using Neural Certificates" is underway.
FMASWorkshopNov 13, 2024
The #iFM2024 has begun! The conference is being led by chairs: Marie Farrell, Mohammad Reza Mousavi, Laura Kovács, and Nikolai Kosmatov..
FMASWorkshopNov 13, 2024
The last day of #FMAS2024 is a joint session with #iFM2024 at the Whitworth.
https://buff.ly/4fo8w6n
Join us there.
Bevor Sie zu Google Maps weitergehen