FMA SYMPOSIA series (2011-2024)

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)
PROCEEDINGS
by Author by Title
Promoters Chairs Organizing Committee Scientific Committee Sponsors
7FMA ORGANIZATION
Important dates Call for Papers Call for Workshops Fees Agreements Diplomas Techical Means Languages Record Policies Book of Proceedings VENUES
7FMA PARTICIPANTS
Conference Keynote speakers Workshops Programme Social Programme
7FMA PROGRAMME
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)
PROCEEDINGS
by Author by Title

7th SYMPOSIUM 2024
ORGANIZATION
Promoters Chairs Organizing Committee Scientific Committee Sponsors
PARTICIPANTS
Important dates Call for Papers Call for Workshops Fees Agreements Diplomas Technical means Languages Record Policies Book of Proceedings VENUES
PROGRAMME
Conference Keynote speakers Workshops Programme Social Programme
Skip Navigation Links (tip)


The 7th edition of 'Formal Methods in Architecture' Symposia will be held in 2024 and will be announced shortly.

a meeting place between academia and architecture professionals

MENU --> 7th 6th