FMA SYMPOSIA series (2011-2022)

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)
PROCEEDINGS
by Author by Title
Chairs Scientific Committee Organizing Committee Secretariat
6FMA ORGANIZATION
Important dates Call for Papers Call for Workshops Registration and fees Agreements Diplomas Techical Means Languages Record Policies Book of Proceedings VENUES
6FMA PARTICIPANTS
Conference Keynote speakers Workshops Programme Exhibition Fair Social Programme
6FMA 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)
PROCEEDINGS
by Author by Title

6th SYMPOSIUM 2022
ORGANIZATION
Chairs Scientific Committee Organizing Committee Secretariat
PARTICIPANTS
Important dates Call for Papers Call for Workshops Registration and fees Agreements Diplomas Technical means Languages Record Policies Book of Proceedings VENUES
Location Transport Food & Bars Accomodation
PROGRAMME
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.

News

6th Symposium - call for papers

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

News

6th Symposium - call for workshops

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

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 .

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