The 6th Formal Methods in Architecture Symposium (FMA) to be held at ETSAC in 2022

The Call for papers for the 6th International Symposium on Formal Methods in Architecture (6FMA) is now open.

The Formal Methods in Architecture (FMA) series began in 2011 and it is a biennial international symposium. The 6FMA will be held at ETSAC-Escola Técnica Superior de Arquitectura da Coruña, Universidade da Coruña (UDC), in Galicia (Spain), between the 24th and the 27th of May 2022.

The 6FMA will focus on scientific fields whose areas of application use methodologies that stem from the Mathematical and Computer Sciences, especially those that have witnessed recently 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.

The FMA series had the first book published in 2018 (Formal Methods in Architecture and Urbanism) by Cambridge Scholars Publishing (CSP). In 2021, Springer published the book Formal Methods in Architecture. Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020, within the series in Advances in Sciences, Technology & Innovation.

https://www.cambridgescholars.com/product/978-1-5275-0762-3
https://www.springer.com/gp/book/9783030575083

Also in 2021, the book Formal Methods in Architecture and Urbanism – Volume II will be published by CSP.  

Original papers submitted to the 6FMA will also be published after the Symposium.

You can find more details concerning the 6FMA open call for papers here:

http://www.archformalmethods.eu/call-for-papers/call-for-papers/
http://www.archformalmethods.eu/scientific-fields/
http://www.archformalmethods.eu/call-for-papers/call-for-papers-guidelines/
http://www.archformalmethods.eu/registration-copy-2/
http://www.archformalmethods.eu/registration-copy/

 

David Leite Viana (ISTAR-Iscte)
Franklim Morais (LIAD-ESAP)
Jorge Vieira Vaz (LIAD-ESAP)
Plácido Lizancos (ETSA-UDC)