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
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.
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
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
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!
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.
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
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.
7FMA Workshop: Immersive Architectural Perception: Real-Time VR and 3D Modeling Workflow, tutored by Nicola D’Addario – Università degli studi di Bari.
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.
7FMA Workshop: Urban silhouettes. Drawing the city as theatre, tutored by Giusi Ciotoli and Marco Falsetti (University of Rome Sapienza).
https://t.co/VRnrYwUDXr
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
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.
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
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
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
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