FMA SYMPOSIA series (2011-2025)

Formal Methods in Architecture

MENU 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
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 > CONTACTS (tip)

BE IN TOUCH

FMA Symposia

The "Formal Methods in Architecture" Symposia series have a channel in YouTube.
There you can find videos with the proceedings of the previous symposia.

Also on YouTube, the online sessions have been presented in real time. The experience will be repeated in the next editions of the Symposia.

follow us:

X

CONTACT US

Send us a e-mail!

Feel free to send us a message for any reason.

If you experience any trouble in registration, downloading any template or simply browsing the site, please send us a message.

or

VISIT US

ESAP

Rua dos Navegantes
nº 51, 4000-358 Porto
PORTUGAL

Tel: 22 339 21 30
Fax: 22 339 21 39
geral@esap.pt

a meeting place between academia and architecture professionals

MENU --> 7th 8th