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

Abstracts and workshop proposals must be submitted by the 30th of November.


For more information, see our CALL FOR PAPERS, IMPORTANT DATES and AUTHOR GUIDELINES. You can submit your abstract via EASYCHAIR and your workshop proposal by filling in our FORM.