FMA SYMPOSIA series (2011-2025)

Formal Methods in Architecture

HOME DESCRIPTION
Description Purpose Target audience Promoters Scientific Fields
CONTACTS
be in touch Mail Us Visit us
PAST SYMPOSIA
1st Symposium (2011) 2nd Symposium (2013) 3rd Symposium (2015) 4th Symposium (2018) 5th Symposium (2020) 6th Symposium (2022) 7th Symposium (2024)
PROCEEDINGS
by Author by Title

8th SYMPOSIUM 2026

Skip Navigation LinksHOME (tip)

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.

7th

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!

News for Participants

7th Symposium

7FMA - Porto 2024
Photo Gallery last Symposium available now!

News for All

7th Symposium

7FMA - Porto 2024
The movies of the last Symposium available now!

Contact and follow us

Know how to contact the Organizing Committee.
Follow us and link to our institutions.

Proceedings

Search for the edited books of proceedings
and other information about past editions of the Symposia.

a meeting place between academia and architecture professionals

MENU --> 7th 8th