# Working Formal Methods Symposium

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

## About

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 links

- [Official website](https://www.formalmethods2026.com/)

## Topics

- IT & Technology

## Speakers

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

## Related events

- [Google I/O Extended Pwani 2026](https://www.luminik.io/events/google-i-o-extended-pwani-mombasa/)
- [International Conference on Software Engineering and Computer Science (ICSECS)](https://www.luminik.io/events/international-conference-on-software-engineering-and-computer-science-1a085a31b2d4/)
- [ACCESS - Microsoft's Desktop Database Intensive (5 Half-Days)](https://www.luminik.io/events/access-microsoft-s-desktop-database-intensive/)
- [Balisage The Markup Conference](https://www.luminik.io/events/balisage-the-markup-conference/)
- [Bootstrap Conference](https://www.luminik.io/events/bootstrap-conference-london/)
- [Build IT Live 2026](https://www.luminik.io/events/build-it-live-jersey/)

Source: https://www.luminik.io/events/working-formal-methods-symposium/