Previous editions

The Formal Methods in Architecture Symposia constitute an ongoing international platform for debate and dissemination of formal, mathematical, and computational approaches to architecture and urbanism. Since its inception in 2011, the series has gathered researchers, educators, and practitioners who engage with explicit, rigorous languages of design derived from the mathematical and computer sciences. The 8th edition (FMA 2026) will be held in Istanbul, a city where millennia of cultural strata meet the dynamics of contemporary urban transformation — offering a fertile context for exploring the intersection of formalization, intelligence, and culture in architectural design.