FMA SYMPOSIA series (2011-2022)

Formal Methods in Architecture

MENU HOME DESCRIPTION
Description Purpose Target audience Promoters Scientific Fields
6FMA ORGANIZATION
Chairs Scientific Committee Organizing Committee Secretariat
6FMA PARTICIPANTS
Important dates Call for Papers Registration and fees Agreements Diplomas Techical Means Languages Record Policies VENUES
6FMA PROGRAMME
Conference Keynote speakers Workshops Programme Posters Exhibition Works Exhibition Exhibition Fair Social Programme
CONTACTS
be in touch Mail Us Visit us
1st Symposium (2011) 2nd Symposium (2013) 3rd Symposium (2015) 4th Symposium (2018) 5th Symposium (2020)
PAST SYMPOSIA
by Author by Title
PROCEEDINGS
HOME DESCRIPTION
Description Purpose Target audience Promoters Scientific Fields
ORGANIZATION
Chairs Scientific Committee Organizing Committee Secretariat
PARTICIPANTS
Important dates Call for Papers Registration and fees Agreements Diplomas Technical means Languages Record Policies VENUES
Location Transport Food & Bars Accomodation
PROGRAMME
Conference Keynote speakers Workshops Programme Posters Exhibition Works Exhibition Exhibition Fair Social Programme
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)
PROCEEDINGS
by Author by Title
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.

News

6th Symposium - call for papers

Call for abstracts is now open, till the 30th November 2021.
Don´t miss it.

Programme

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

6th Symposium - important information to Participants

Participate!
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 .

News

Keynote speakers

Announcing now Professor Pilar Chias as a new keynote speaker at the 6th Symposium.

Contact and follow us

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

Proceedings

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