FMA SYMPOSIA series (2011-2022)

Formal Methods in Architecture

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 Sponsors
PARTICIPANTS
Important dates Call for Papers Call for Workshops Fees Registration Agreements Diplomas Technical means Languages Record Policies Book of Proceedings VENUES
PROGRAMME
Conference Keynote speakers Workshops Programme Exhibitions Exhibition Fair Social Programme
Skip Navigation LinksHOME (tip)

The 'Formal Methods in Architecture' Symposia are a set of events for the debate and dissemination of Formal Methods applied to Architecture and Urban Studies , 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 its 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 for Attendents

6th Symposium
Workshops

Call for workshops is closed.
The list of accepted workshops is now available.

News for All

6th Symposium
Registration Open

Registration is now open.
Early bird till 2022 February 28
regular registration till 2022 May 7

News for Authors

6th Symposium
development of full papers

The peer review of abstracts was carried out by the scientific committee and the list of accepted abstracts was notified on 21 January.
The period for developing the full papers has begun and continues until 31 March.

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