previous editions

 

 

You can consult information on the organisation and scientific committee, see photographs and videos of the previous editions of the Symposium HERE. Find information on authors, consult abstracts and watch our previous presentations HERE.

 

 

publications

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

Formalizing Urban Methodologies - Special Issue of Urban Science.

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

presentations

5FMA - Lisbon 2020.

4FMA - Porto 2018.

2FMA - Porto 2013.

1FMA - Porto 2011.

Gallery

4FMA - Porto 2018