Proceedings FMICS 2022 available Posted on September 7, 2022September 7, 2022 by Jan Friso Groote The proceedings of Formal Methods for Industrial Critical Systems (FMICS) 2022, Warsaw, Poland, by Jan Friso Groote and Marieke Huisman are now available as LNCS 13487, Springer.