FMA SYMPOSIA series (2011-2026)

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 > 8th FMA (tip)


The 8th edition of 'Formal Methods in Architecture' Symposia will be held in early December 2026 in ITÜ (Istanbul Technical University) and will be announced shortly.

a meeting place between academia and architecture professionals

MENU --> 7th 8th