The Formal Methods in Architecture (FMA) series began in 2011 and it is a biennial international symposium initially held at ESAP-Escola Superior Artística do Porto (Arts University School of Oporto), in Portugal. In 2020, the 5FMA was held at ISTAR-Iscte (Lisbon University Institute), also in Portugal.

The 6th International Symposium on Formal Methods in Architecture will be held at ETSAC -Escola Técnica Superior de Arquitectura da Coruña (UDC School of Architecture), Universidade da Coruña (UDC), in Galicia (Spain), between the 24th and the 27th of May 2022.

The Symposium will focus on scientific fields whose areas of application use methodologies that stem from the Mathematical and Computer Sciences, especially those that have witnessed recent developments. The call for abstracts takes place between the 15th of Abril (2021) until the 30th of November (2021). We welcome abstract submissions between this period!

Please see our PURPOSE, SCIENTIFIC FIELDS and SUBMISSION GUIDELINES for more information.