FMA 5th international symposium
5th International Symposium on Formal Methods in Architecture and Urbanism.
PROJECTS
FMA 4th international symposium
4th Symposium on Formal Methods in Architecture and Urbanism, organized by LIAD, MIA, and DARQ. The Symposium took place at ESAP between 2 and 6 April 2018.
Brick in Sight as a Module of Architectural Design: The Case of the University of Aveiro
It is a project financed under the ESAP 2020 Projects (ESAP / 2020 / P51 / DARQ) and developed in partnership with LIAD. Download the .pdf
1st Opo’Arch Meeting
1st Opo’Arch Meeting (meeting held under the OPO’Arch Formal Methods project).
Organization: Jorge Vieira VAZ, Michele CANNATÀ and Joaquim FLORES
March 9, 2017 – Belmonte Palace – Porto – Portugal
OPO’ARCH Formal Methods
(NORTE-01-0246-FEDER-000013), project approved, with a total investment of 561.600,00€, 85% co-financed by the Norte2020 program.
Service Provision Agreement with the Municipality of Gondomar
Service Provision Contract with the Municipality of Gondomar: Contract for the elaboration of an exhibition project and the installation of provisional structures in the Multiusos building of that municipality.
Rehabilitation of the Santa Clara Integrated Action Area
Rehabilitation of the Santa Clara Integrated Action Area, 2nd Chance project – waking up the sleeping giants, URBACT III program.
Thomas Jefferson and the University of Virginia Project
Partnership with ESAP 2016/17 projects (ESAP/2016-17/P34/DARQ).
FMA 3rd international symposium
Formal Methods in Architecture: 3rd international symposium, November / December 2015, ESAP, Porto. International symposium that included a call-for-papers, an exhibition of works that use formal methods and the presentation of DephtSpace 3D – computer application for three-dimensional syntax.
Ventilated Facade Coating Fixing System Design
Partnership with ESAP 2015 projects (ESAP/2015/P16/DARQ).