8TH INTERNATIONAL SYMPOSIUM FORMAL METHODS IN ARCHITECTURE
Formalising Complexity: Bridging Intelligence, Culture, and Computation in Architecture
This edition of the symposium Formal Methods in Architecture (FMA) invites reflections on how formal reasoning, data-driven methods, and computational design intelligence can engage meaningfully with the complexity of architectural and urban environments. The symposium aims to bridge the gap between mathematical abstraction and architectural interpretation, addressing both the technical and human dimensions of design. By situating formal methods within the evolving paradigms of artificial intelligence, sustainability, and participatory practice, FMA 2026 emphasises architecture’s dual nature as a technological and cultural endeavour.