Developer & Engineering

Working Formal Methods Symposium

The 8th International Symposium Formal Methods in Architecture (8FMA 2026) is a conference focused on formal reasoning, data-driven methods, and computational design intelligence in architecture and urban environments. It is intended for architects, mathematicians, computer scientists, and urban theorists interested in the technical and cultural aspects of architectural design.

The essentials

Event details

Dates
September 2026
Location
West University of Timișoara, Romania
Organiser
8FMA 2026
Industry
Developer & Engineering

Agenda themes

Topics covered

  • IT & Technology

On stage

Speakers

  • Akkelies van Nes, professor
  • Baya Belmessaoud Boukhalfa, Associate Professor, École Polytechnique d’Architecture et d’Urbanisme (EPAU), Algiers

Keep planning

Related events

Spot something wrong on this page? Report a correction and we will fix it.