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_esap

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
UDC-Logo