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, ISTANBUL, 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

Stay on it

Get the next edition

When Working Formal Methods Symposium announces its next edition, or these dates change, we read it from the organiser's own site. One email when that happens, nothing else.

One email per announcement. Unsubscribe in a click, and we never pass your address on.

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.

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

Is this your event? Verify it with your work email: one click in your inbox proves it is yours, we approve, and the badge goes up, usually within a day. Prefer the form?

If your email matches the event's own domain, one click in your inbox completes your side; we approve and the badge goes up, usually within a day. Otherwise we check by hand, same as always.