FMA SYMPOSIA series (2011-2024)

Formal Methods in Architecture

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

7th SYMPOSIUM 2024

Promoters Chairs Organizing Committee Scientific Committee Sponsors
Important dates Call for Papers Call for Workshops Fees Agreements Diplomas Technical means Languages Record Policies Book of Proceedings VENUES
Conference Keynote speakers Workshops Programme Social Programme
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 6th edition of the Symposia was held in May 2022 in A Coruña, Galicia.
The 7th edition is back to Porto and will take place in Porto between the 3rd and the 6th of December 2024.

News for Attendents

7th Symposium
Call for Abstracts

See the call, dates and fees.
Abstract submission
ends the 3rd of June.

News for Attendents

7th Symposium
Keynote Speakers

Follow the evolution of the 7th FMA keynoyte speakers.

News for All

6th Symposium

6FMA - A Coruña 2022
All the information about tha last Symposium available now!

News for All

6th Symposium
Book of Proceedings

Springer Nature announced the publication of the Proceedings Book.
Find out how to get it!

Contact and follow us

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


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 6th