FMA SYMPOSIA series (2011-2025)
Formal Methods in Architecture
The 'Formal Methods in Architecture' Symposia are a set of events for the debate and dissemination of Formal Methods applied to Architecture and Urban Studies, ipsum est those that use the explicit and rigorous languages coming from the mathematical sciences.
The Symposia series began in 2011 and has a biennial period.
They began to be performed by ESAP in its hometown (Porto - Portugal), but have had editions in other cities.
The 7th edition was back to Porto, between the 3rd and the 6th of December 2024.
The 8th edition (2026) will be announced soon.
News for All
7th Symposium
7FMA - Porto 2024
All the information about the last Symposium available now!
News for All
7th Symposium
Book of Proceedings
Springer Nature announced the publication of the Proceedings Book.
Find out how to get it!