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.




The ‘Group of Formal Methods in Architecture’ of LIAD – Architecture and Design Research Laboratory has been devoted in recent years to R&D work in the area of methods for architecture involving the use of scientific acquisitions of the mathematical. Particularly relevant group of its production is a computer application on ‘space syntaxes’ in 3D space. This digital tool has the name of DepthSpace3D.’Space syntaxes’ are a set of methods in use in the architecture for over 30 years, and as they require a large amount of calculations, they need to be treated by ICT instruments. So far, only 2D analysis was currently available, developed mainly in the original school – the University College London.The availability of 3D software tools opens up new perspectives to the advancement of these technologies, and corresponds to a need for scientific and technological development of these methodologies. The new fields of application can be very important.

CESAP intends now to carry out the dissemination of the results of its R&D to society in general and particularly to regional business. This is the project called OPO’ArchFormalMethods.The aim of the project is not only to make an ‘educational’ passage of academic research results, through the usual conferences, articles and books. But the objectives are also to support the creation of a cluster of institutions and regional companies with interests in the use of this product, that provides new business opportunities.