previous editions

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 and AUTHOR. Additional information on past symposia can be found in the following links:

2011 – 1st Symposium Formal Methods in Architecture

2013 – 2nd Symposium Formal Methods in Architecture

2015 – 3rd Symposium Formal Methods in Architecture

2018 – 4th Symposium Formal Methods in Architecture

2021 – 5th Symposium Formal Methods in Architecture

publications

Formal Methods in Architecture – Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020.

Formal Methods in Architecture and Urbanism Vol. 2 – Proceedings of the 4th International Symposium on Formal Methods in Architecture (4FMA), Porto 2018.

Formal Methods in Architecture and Urbanism – Proceedings of the 3rd International Symposium on Formal Methods in Architecture (3FMA), Porto 2015.

video presentations

5FMA – Lisbon 2020.

4FMA – Porto 2018.

2FMA – Porto 2013.

1FMA – Porto 2011.

4FMA – Porto 2018