FMICS 2023 will take place in Antwerp, Belgium, as one of the conferences CONFEST 2023.
Category: Uncategorized
Best paper award
The paper Deductive Verification of Smart Contracts with Dafny, byFranck Cassez, Joanne Fuller and Horacio Mijail Anton Quiles received the best paper award of FMICS22.
Springer proceedings are published
The FMICS 2022 proceedings are published as Springer LNCS lecture notes 13487. During the conference the are accessible at https://link.springer.com/book/10.1007/978-3-031-15008-1.
Bas Luttik will deliver an invited talk on modelling and verification in the railway domain
Bas Luttik accepted our invitation to deliver an invited talk about verification in the railway domain.
Springer proceedings confirmed
Springer indicated that they will be happy to publish the proceedings of the 27th FMICS conference in their LNCS series.
Sven Schewe will deliver a keynote address
Sven Schewe confirmed that he will deliver a keynote address about Formal Methods for Responsible AI at FMICS 2022.