Formal Methods

The 8th International Symposium on Formal Methods in Architecture will take place in Istanbul between the 1st and the 5th of December 2026.

[Formal Methods @formal_methods]

Finally, we're excited that Tolgahan Çoğulu will be joining us as a keynote speaker this december. He is a professor in Guitar at Istanbul Technical University’s Turkish Music State Conservatory.

Find out more: https://t.co/zri14fXiLk

[Formal Methods @formal_methods]

Kerstin Sailer will be a keynote speaker at the 8FMA. Professor in the Sociology of Architecture at the Bartlett School of Architecture. Expert in space syntax, social network analysis and evidence-based design, her work bridges architecture, sociology and organization studies.

[Formal Methods @formal_methods]

Baya Belmessaoud Boukhalfa will be a keynote speaker at the 8FMA. She is an Associate Professor at the École Polytechnique d’Architecture et d’Urbanisme (EPAU), Algiers.

Find out more: https://t.co/zri14fXiLk

[Formal Methods @formal_methods]

Akkelies van Nes will be joining us as a keynote speaker at the 7FMA. She is a professor at the Faculty of Engineering and Business, Department of Civil Engineering, at Western Norway University of Applied Sciences in Bergen, Norway.

Find out more: https://t.co/zri14fXiLk

[Formal Methods @formal_methods]

We are excited to announce that information on the 8FMA keynote speakers is now available on our website:
https://t.co/zri14fXiLk

Submit your paper by 18 May to join us at 8FMA2026 in Türkiye!

[Formal Methods @formal_methods]

We are pleased to announce that the 8FMA Scientific Committee is now listed on our website and abstract submissions are open via our submission platform.

Please visit https://t.co/uSUN7dx4IM for all information on important dates and registration fees.

[Formal Methods @formal_methods]

The 8th International Symposium on Formal Methods in Architecture will take place in Istanbul, Türkiye, between the 1st and the 5th of December 2026.

The CFP is open from January 15 to May 18.

Find out more:
https://t.co/yAT6phDqPF

[Formal Methods @formal_methods]

We are live-streaming the 7th Formal Methods in Architecture Symposium here: https://t.co/EQOd4goklb

[Formal Methods @formal_methods]

This workshop teaches participants how to transition a design from a CAD program into a fully interactive VR application using Unreal Engine 5. Participants will learn about the importance of VR in understanding architectural scale and communicating design ideas effectively.

[Formal Methods @formal_methods]

7FMA Workshop: Immersive Architectural Perception: Real-Time VR and 3D Modeling Workflow, tutored by Nicola D’Addario – Università degli studi di Bari.

[Formal Methods @formal_methods]

Participants in the workshop must conduct, from a photographic image, an analysis by sections of the different layers that make up the urban landscape. These sections will then have to be assembled and brought back to a physical model in which the various layers are recomposed.

[Formal Methods @formal_methods]

7FMA Workshop: Urban silhouettes. Drawing the city as theatre, tutored by Giusi Ciotoli and Marco Falsetti (University of Rome Sapienza).

https://t.co/VRnrYwUDXr

[Formal Methods @formal_methods]

Introducing the fundamentals of AnyLogic, it focuses on agent-based and discrete event simulation to analyze dynamic movement within urban and architectural spaces.

https://t.co/VRnrYwVbMZ

[Formal Methods @formal_methods]

7FMA workshop: Motion Mapping: Introductory Workshop on Architecture & Urban Simulation with AnyLogic application.

[Formal Methods @formal_methods]

It focuses on utilizing Scan2BIM workflows to optimize architectural design for existing structures. It will cover the benefits and practical application of Scan2BIM technology, offering participants hands-on experience with point cloud datasets and BIM modelling processes.

[Formal Methods @formal_methods]

7FMA Workshop: Transforming Existing Buildings: A Collaborative Scan2BIM Workflow for Enhanced Design, tutored by Lídia Cruz and Afonso Portela (Atelier XYZ).

[Formal Methods @formal_methods]

The 7FMA will offer a variety of workshops open to participants and the general public.
Workshops include BIM, AI, VR and AR approaches, algorithmic design, methods for urban and architectural analysis and production.

For more information please visit: https://t.co/VRnrYwUDXr

[Formal Methods @formal_methods]

It's the final week to submit abstracts and workshop proposals to the 7th International Symposium on Formal Methods in Architecture.

We hope you will join us in Porto, between the 3rd and 6th of december!

https://t.co/24wjh6KJym

[Formal Methods @formal_methods]

Two weeks left to submit your abstract and workshop proposals to the 7FMA!

Original papers submitted to the 7FMA will be published in a subsequent issue edited by Springer following the Symposium.

All information at https://t.co/4SvCvEMynL

[Formal Methods @formal_methods]

Tasos Varoudis will be a keynote speaker at 7FMA. He is Associate Professor in Architecture and Machine Intelligence at the Bartlett School of Architecture, UCL.

The 7FMA calls for papers and workshops are open until 3 June!

https://t.co/vi1JcELt1j