Formal Methods in Architecture…………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………..

institutional

The “Formal Methods in Architecture” Symposia series is an initiative of the following departments of ESAP-Escola Superior Artística do Porto (Arts University School of Oporto): LIAD – Laboratório de Investigação em Arquitectura e Design (Laboratory for Architecture and Design Research)
DA – Departamento de Arquitetura (Architecture Department)
MIA – Mestrado Integrado em Arquitetura (Integrated Master Degree in Architecture)

The 6th Symposium is a joint organisation with ETSAC- Escola Técnica Superior de Arquitectura from UdC – Universidade da Coruña, A Coruña, Galicia – España