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.

9:00 – 13:00

“Reabilitação 4.0”: a fase de caracterização prévia na era da transição digital

14:00 – 18:00

Motion Mapping: Introductory Workshop on Architecture & Urban Simulation with AnyLogic application

Transforming Existing Buildings: A Collaborative Scan2BIM Workflow for Enhanced Design

9:00 – 18:00

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

9:00 – 9:30 Welcome & Registration

_^FOYER

9:30 – 10:00 Opening Session

_^AUDITORIUM

Bruno Marques (Order of Architects – North Regional Section), David Leite Viana (Chair)

10:00 – 11:30 Paper Session 1

^_AUDITORIUM

^{_{Paolo Marcolin}} ^{_{^₍Chair^₎}}

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? – Nuno Gomes, Vitor Oliveira, Álvaro Costa, Miguel Lopes

11:30 – 12:00 Coffee Break

_^FOYER

12:00 – 13:30 Paper Session 2

_^AUDITORIUM

^{_{Joaquim Flores}} ^{_{^₍Chair^₎}}

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 nffects of vertically layered urban structures on pedestrian movement: A case study of the Mostar Interchange in Belgrade – Aleksandra Djukic, Nikola Mitrovic

13:30 – 14:30 Lunch

_^FOYER

14:30 – 15:30 Keynote Session1

_^AUDITORIUM

^{_{Pedro Gomes}} ^{_{^₍Chair^₎}}

José Pinto Duarte

Additive Construction on Earth and beyond: from research to practical applications

15:30 – 17:00 Paper Session 3

_^AUDITORIUM

^{_{Jorge Vieira Vaz}} ^{_{^₍Chair^₎}}

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, Leonor Marques Mano Domingos, Filipa Peres Crespo Osório, Mário Ribeiro Manaia

Reimagining digitalized space: Integrating meaning and technology in building Systems – Kaiko Kivi

17:00 – 17:30 Coffee Break

_^FOYER

17:30 – 18:30 Paper Session 4

_^AUDITORIUM

^{_{David Leite Viana}} ^{_{^₍Chair^₎}}

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

18:30 Welcoming Ceremony

_^FOYER

Day 3 – December 5

9:00 – 9:30 Welcome & Registration

_^FOYER

9:30 – 11:00 Paper Session 5

_^AUDITORIUM

^{_{Bruno Marques}} ^{_{^₍Chair^₎}}

From brush to AI: How tools have transformed architectural paradigms (VC) – Ashik Vaskor Mannan, M. Arefeen Ibrahim

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

11:00 – 11:30 Coffee Break

_^FOYER

11:30 – 13:30 Keynote Session 2

_^AUDITORIUM

^{_{Catarina Ruivo}} ^{_{^₍Chair^₎}}

Wassim Jabi

Syntopy: An integrated approach to geometry, topology, and semantics

Tasos Varoudis

Shapes of intelligible space, or, spaces of intelligible shapes?

13:30 – 14:30 Lunch

_^FOYER

14:30 – 16:30 Paper Session 6

_^AUDITORIUM

^{_{Franklim Morais}} ^{_{^₍Chair^₎}}

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

16:30 – 17:00 Coffee Break

_^FOYER

17:00 – 18:30 Paper Session 7

_^AUDITORIUM

^{_{David Leite Viana}} ^{_{^₍Chair^₎}}

Connecting spaces and people: Point Cloud segmentation in the context of design anthropology – Amina Rezoug

Integratinga additive manufacturing with BIM: A case study in sustainable architecture and construction – Jaime Cunha

Nature’s integration in architectural ornament through photogrammetry – Francisco Scotti, Pedro de Azambuja Varela

18:30 – 19:00 Book Presentation

_{^{_^AUDITORIUM}}

“Emerging Perspectives on Teaching Architecture and Urbanism” and the books of Proceedings of the former editions of the Symposia.

19:00 Symposium Dinner

_{^{ESPIGA – R. de Clemente Meneres 65}}

Day 4 – December 6

9:00 – 11:30 Paper Sessions 8 & 9

_^AUDITORIUM

^{_{Sérgio Mendes}} ^{_{^₍Chair^₎}}

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 digraphical 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, Sara Parece, Ricardo Resende

11:30 – 12:00 Coffee Break

_^FOYER

12:00 – 13:00 Keynote Session 4

_^AUDITORIUM

^{_{David Leite Viana}} ^{_{^₍Chair^₎}}

Meta Berghauser Pont

Urban morphometrics and Evidence-Based Design

13:00 – 14:00 Lunch

_^FOYER

14:00 – 15:00 Keynote Session 5

_^AUDITORIUM

^{_{Catarina Ruivo}} ^{_{^₍Chair^₎}}

Franklim Morais

The role of AI in the future of society, the city, construction and architecture

15:00 – 16:30 Paper Session 10

_^AUDITORIUM

^{_{Bruno Marques}} ^{_{^₍Chair^₎}}

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

16:30 – 17:00 Coffee Break

_^FOYER

17:00 – 18:30 Paper Session 11

_^AUDITORIUM

^{_{Catarina Ruivo}} ^{_{^₍Chair^₎}}

Parametric software and the architectural design – Bruno Marques, Darlene Julio

In-formation: shaping tools, composition rules, visual thinking and the creative processes (VC) – Gonçalo Castro Henriques, Marcio Nisenbaum, Tatiana Teixeira

Combining space syntax and kernel methods in the delimitation of the Matosinhos Urban Pressure Zone – David Leite Viana, João Quintão, Rui Fernandes

18:30 – 19:00 Closing Session

_^AUDITORIUM

Avelino Oliveira (Order of Architects), Bruno Marques (Order of Architects – North Regional Section), Catarina Ruivo (Chair)