FMA SYMPOSIA series (2011-2022)

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)
by Author by Title

6th SYMPOSIUM 2022

Chairs Scientific Committee Organizing Committee Secretariat
Important dates Call for Papers Call for Workshops Registration and fees Agreements Diplomas Technical means Languages Record Policies Book of Proceedings VENUES
Conference Keynote speakers Workshops Programme Exhibition Fair Social Programme
Skip Navigation LinksHOME (tip)

'Formal Methods in Architecture' Symposia are a set of debate and dissemination events for the Architecture and Urban Studies of Formal Methods, 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 their hometown (Porto - Portugal), but have had editions in other cities.
The 6th edition of the Symposia will be held in May 2022 in A Coruña, Galicia.


6th Symposium - call for papers

Call for abstracts is now closed.
Acceptance will be declared by December 15th.


6th Symposium - call for workshops

Call for workshops is now closed.
Acceptance will be declared by December 15th.


Follow the evolution of the 6th FMA full program definition.

6th Symposium - important information to Participants

All steps until the presentation of papers to the symposium.
See how you can be an active agent in the investigation and dissemination of Formal Methods in Architecture, in an open and innovative debate with the academic, scientific and professional community .

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