The Symposium Formal Methods in Architecture is a biennial event which had its first edition in 2011. Proceedings, presentations and other publications have been recorder for each event. Past proceedings can be consulted by TITLE<\/a> and AUTHOR<\/a>. Additional information on past symposia can be found in the following links:<\/p>\n\n\n\n 2011<\/a> – 1st Symposium Formal Methods in Architecture<\/p>\n\n\n\n 2013<\/a> – 2nd Symposium Formal Methods in Architecture<\/p>\n\n\n\n 2015<\/a> – 3rd Symposium Formal Methods in Architecture<\/p>\n\n\n\n 2018<\/a> – 4th Symposium Formal Methods in Architecture<\/p>\n\n\n\n 2021<\/a> – 5th Symposium Formal Methods in Architecture<\/p>\n\n\n\n Formal Methods in Architecture<\/a> – Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020.<\/p>\n\n\n\n Formal Methods in Architecture a<\/a>nd Urbanism Vol. 2 <\/a>– Proceedings of the 4th International Symposium on Formal Methods in Architecture (4FMA), Porto 2018.<\/p>\n\n\n\n Formal Methods in Architecture and Urbanism<\/a> – Proceedings of the 3rd International Symposium on Formal Methods in Architecture (3FMA), Porto 2015.<\/p>\n\n\n\n 5FMA<\/a> – Lisbon 2020.<\/p>\n\n\n\n 4FMA<\/a> – Porto 2018.<\/p>\n\n\n\n 2FMA<\/a> – Porto 2013.<\/p>\n\n\n\n 1FMA <\/a>– Porto 2011.<\/p>\n\n\n\n\n\t\tpublications\n\t<\/h4>\n\n\n\n
video presentations <\/h4>\n\n\n\n
\n\t\tGallery\n\t<\/h4>\n\n\n\n
4FMA – Porto 2018<\/h6>\n\n\n\n