The 7th International Symposium on Formal Methods in Architecture will take place in Porto between the 3rd and the 6th of December 2024.

The 7FAM is a joint organization between LIAD-ESAP & OA-SRN:

• LIAD-ESAP / Architecture and Design Research Laboratory at Porto Higher Arts School;
• OA-SRN / Order of Architects – North Regional Section;
• CESAP / Porto Higher Artistic Education Cooperative.

The 2024 symposium has the institutional support of CIAUD-UPT and DAMG-UP:

• DAMG-UPT / Gallaecia Department of Architecture and Multimedia at Universidade Portucalense;
• CIAUD-UPT / Research Centre for Architecture, Urbanism and Design at University Portucalense.