FMICS 2023

The Proceedings of FMICS2024 are online: link.springer.com/book/10.1007/9…

The programme of FMICS 2024 is online: #programme" target="_blank" rel="nofollow noopener">fmics.inria.fr/2024/index.htm…

Two invited speakers at FMICS 2024: Byron Cook (AMAZON) Thierry Lecomte (CLEARSY)

Deadline extension for FMICS 2024: abstracts: May 4th full papers: May 8

The call for papers for FMICS 2024 is published: fmics.inria.fr/2024

presenting the paper entitled "Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect" at @FMICS_conf doi.org/10.1007/978-3-… youtu.be/2FqSeTWvVrk

Alessandro presenting the paper entitled "The 4SECURail Case Study on Rigorous Standard Interface Specifications" at @FMICS_conf doi.org/10.1007/978-3-…

CONFEST social dinner @FMICS_conf

@FMICS_conf is over! Thanks to all the participants, authors, keynote speakers, PC members, and chairs! See you next year!

Alessandro Fantechi presenting his paper on the 4SECURail case study

@FMICS_conf Best paper award: Djurre van der Wal, Marcus Gerhold and Marielle Stoelinga Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller

Imran Riaz Hasrat presenting his paper Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control

Davide Basile presenting his work on formal verification in the railway industry

Fantastic keynote talk by Anna Slobodova from Intel on formal verification of microprocessors

Aziz Sfar presenting his work on Testing Logical Diagrams in power plants at @fmics2023

Nicolás Poza presenting his work on Statistical Model Checking for P at @FMICS_conf

Great talk by Reza Soltani on Optimal spare management via statistical model checking at @FMICS_conf

Chris Johannsen presenting his work on encoding temporal specifications at @FMICS_conf

@FMICS_conf day 2 Alessandro is chairing the session

We have stared the day with a great invited talk by Jaco Van De Pol on how to use SAT and QBF solvers for encoding planning problems and games