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)
![z_logo_lia z_logo_lia](http://fma2022.archformalmethods.eu/wp-content/uploads/2021/08/z_logo_lia.png)
![z_logo_esap z_logo_esap](http://fma2022.archformalmethods.eu/wp-content/uploads/2021/08/z_logo_esap.png)
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
![Etsac_logo Etsac_logo](http://fma2022.archformalmethods.eu/wp-content/uploads/2021/08/Etsac_logo.png)
![UDC-Logo UDC-Logo](http://fma2022.archformalmethods.eu/wp-content/uploads/2021/08/UDC-Logo-300x169.png)