5th International Symposium on Formal Methods in Architecture and Urbanism.
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.
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 (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
(NORTE-01-0246-FEDER-000013), project approved, with a total investment of 561.600,00€, 85% co-financed by the Norte2020 program.
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, 2nd Chance project – waking up the sleeping giants, URBACT III program.
Partnership with ESAP 2016/17 projects (ESAP/2016-17/P34/DARQ).
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.
Partnership with ESAP 2015 projects (ESAP/2015/P16/DARQ).