7th International Symposium
Formal Methods in Architecture 2024
PROGRAMME
Day 1 – December 3
Workshops will take place at the Order of Architects – North Regional Section’s headquarters, between 9:00 and 18:00. Coffee Breaks and Lunch will be served to registered participants.
Transforming Existing Buildings: A Collaborative Scan2BIM Workflow for Enhanced Design
“Reabilitação 4.0”: a fase de caracterização prévia na era da transição digital
Motion Mapping: Introductory Workshop on Architecture & Urban Simulation with AnyLogic application
Immersive Architectural Perception: Real-Time VR and 3D Modeling Workflow
Building the Future – Robotic Construction Simulation with VR/AR
Understanding Algorithmic Design: learning algorithms through illustrations
Biomimicry Meets Computation: Generative Design and AI for Human-Nature Symbiosis
Introductory Course on GIS in Architecture and Urban Planning Practice (QGIS)
Day 2 – December 4
Plot systems and adaptation: a method for analysing space and time – Lais Bertolino, Vitor Oliveira
Deciphering Urban Morphogenesis: A Morphospace Perspective – Caio Cacholas, Dries Daems, Fabiano Lemes Ribeiro, Howard Davis, Vinicius de Moraes Netto
Co-learning between research and practice in planning: adressing the physical form of cities – Ana Mélice Dias, Vitor Oliveira
Can topography favour the competitiveness of pedestrian over car? – Álvaro Costa, Miguel Lopes, Nuno Miguel de Sousa Gomes, Vitor Oliveira
Visualizing Urban Experience: AI and Computer Vision Framework for Historic Commercial Streets in Egypt – Nabil Mohareb
Space Syntax as an agent based system. NEtlogo framework proposal – Ana Cocho Bermejo, Dave De Jonge
Analyzing the Network Effects of Vertically Layered Urban Structures on Pedestrian Movement: A Case Study of the Mostar Interchange in Belgrade – Aleksandra Djukic, Nikola Mitrovic
José Pinto Duarte
Additive Construction on Earth and beyond: from research to practical applications
The Effect Of Potential Urban Elements On Finding Direction In Urban Space Exampling Of Kadiköy- Yeldegirmeni – Buse Erkan, Mehmet Emin Salgamcioglu
Formalization and Education in Architectural and Urban Design: Their Hermeneutic Dimensions – Carmen Escoda, Josep Muntanola, Magda Saura, Margaret Krawecka, Regina Garcia
Reimagining Human-Nature Coexistence: An Integrative Approach to Architectural Design with Biomimicry, Generative Modeling, and AI – Carina Oliveira, Mauro Costa Couceiro
Reimagining Digitalized Space: Integrating Meaning and Technology in Building Systems – Kaiko Kivi
Alberti’s Computation: Implementing Perspectival Transformation in Shape Machine – James Park, Tzu-Chieh Kurt Hong
Architecting the Metaverse: A Paradigm Shift in Architecture Co-Design – Micaela Raposo, Nuno Pereira da Silva, Sara Eloy
AI-Driven Visual Generation: Generative Adversarial Neural Network (Gan) And Diffusion Models – Pedro Meira-Rodríguez, Vicente López-Chao
Advancing Architectural Visualization: Boosting Scale and Reality with Augmented Reality – Chul Min Yeum, Jason Su
Day 3 – December 5
In-formation: shaping tools, composition rules, visual thinking and the creative processes – Gonçalo Castro Henriques, Marcio Nisenbaum, Tatiana Teixeira
On the experience of architectural spaces: A pedagogical experiment using game engines – Efrosini Charalambous
Geographic Information Systems (GIS) in Architecture and Urbanism Education – Joaquim Flores
Wassim Jabi
Syntopy: An integrated approach to geometry, topology, and semantics
Tasos Varoudis
Shapes of Intelligible Space, or, Spaces of Intelligible Shapes?
A category-theoretic formalism for architectural design generation: a parametric modelling demonstration – Anders Ang, Aries Yang, Jielin Chen, Rudi Stouffs
Leveraging graph-based machine learning to represent and generate architectural layouts – Anders Ang, Aries Yang, Jielin Chen, Rudi Stouffs
Assembler – a tool for computational decision at scale in combinatorial generation of architectural spaces – Alessio Erioli
Automated Two-Story Floor Plan Generation using Generative Adversarial Networks – Berfin Yildiz, Gulen Cagdas, Ibrahim Zincir
From text to 3D models: Utilizing Large Language Models in Grasshopper for automating scripting and algorithmic design workflows – Miltiadis Katsaros, Stella Salta
Connecting Spaces and People: Point Cloud Segmentation in the Context of Design Anthropology – Amina Rezoug
Integrating Additive Manufacturing with BIM: A Case Study in Sustainable Architecture and Construction – Jaime Cunha
Nature’s Integration In Architectural Ornament Through Photogrammetry – Pedro de Azambuja Varela, Francisco Scotti
Day 4 – December 6
Comparing Anthropogenic Water Risks from Climate Change in London and Kolkata – Tazyeen Alam
Towards a Unified Informatic Model for Cognitive Buildings: Integrating BIM, Actor Models, and Dynamic Fault Trees using Bigraphical Reactive Systems – P Govind Raj, Subrat Kar
Formal methods in flood disaster response: the case of Porto Alegre, Brazil – Ana Paula Dalcin, Camilla Pezzica, Clarice Bleil de Souza, Diego Altafini, Guilherme Marques
ReLighting Spaces -Training daylight access cognition in combinatorial spatial assemblages using Reinforcement Learning – Alessio Erioli, Giuseppe Massafra
Reassembling Waste: Towards a Carbon Zero Built Environment – Inês Caetano, Luis Santos
Optimizing Sustainability through digital tools: Energy and Carbon Comparative Analysis of Brick, Concrete and Wood Frame Constructions in Coimbra Residences – Leonor Domingos
Meta Berghauser Pont
Urban morphometrics and Evidence-Based Design
Franklim Morais
The role of AI in the future of society, the city, construction and architecture
Computational Proportional Analysis of Inner Residential Spaces in Seventeenth-Century Bastion Castles – Olha Tikhonova
Exploring Variability Within 3D Shape Collections of Facade Panels of Modernist Multifamily Buildings in New Belgrade: A Methodological Framework – Djordje Djordjevic, Djordje Mitrovic, Mirjana Devetakovic
Neuroaesthetic Measures of High-Rise Housing Facades – Audrey Xu, Immanuel Koh
Kahn’s Two Houses: From Formal Analysis to Animated Synthesis – Heather Ligler
Understanding Çikma: A Formal Study on the Authenticity of the Façades along Sogukçesme Street in Istanbul – Ezgi Balkanay, James Park
Parametric Software and the Architectural Design – Bruno Marques, Darlene Julio
From Brush to AI: How Tools Have Transformed Architectural Paradigms – Ashik Vaskor Mannan, M. Arefeen Ibrahim
Combining space syntax and kernel methods in the delimitation of the Matosinhos Urban Pressure Zone – David Leite Viana, João Quintão, Rui Fernandes