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.

Official website

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 Nesprofessor
  • Baya Belmessaoud BoukhalfaAssociate Professor, École Polytechnique d’Architecture et d’Urbanisme (EPAU), Algiers

Plan this event

Work out who to meet here

Luminik sources the attendee picture for an event like Working Formal Methods Symposium, enriches it against your ICP, and sequences it ahead of the date. Capture at the event writes to Salesforce or HubSpot the same day, and attribution ties the pipeline back to the spend.

Book a 20-min walkthrough

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