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 .