FMA SYMPOSIA series (2011-2025)

Formal Methods in Architecture

HOME DESCRIPTION
Description Purpose Target audience Promoters Scientific Fields
CONTACTS
be in touch Mail Us Visit us
PAST SYMPOSIA
1st Symposium (2011) 2nd Symposium (2013) 3rd Symposium (2015) 4th Symposium (2018) 5th Symposium (2020) 6th Symposium (2022) 7th Symposium (2024)
PROCEEDINGS
by Author by Title

8th SYMPOSIUM 2026

Skip Navigation LinksHOME > PROCEEDINGS > by Author (A-C) (tip)

Authors from A to C are presented in this page
To see the other Authors, please click on the side buttons

Title Authors Event BoA page BoP page YouTube PDF ZIP CV PPT Abst Text
Abdulrahman Alymani (Welsh School of Architecture, Cardiff University - UNITED KINGDOM)
A Formal Method of Architectural Design Automation that Generates Large 3D Graphs based on Topologically Embedded Semantic Information Models: Semi-supervised Graph-Level Representation Learning Abdulrahman Alymani
Padraig Corcoran
Wassim Jabi

6FMA

25

287
Adérito Fernandes Marcos (Algarve University - PORTUGAL)
Média – arte locativa e mapeamentos subjectivos na apreensão urbana Adérito Fernandes Marcos
Isabel Cristina Carvalho

2FMA
Adriana Afonso Sandre (São Paulo University - BRAZIL)
Graph Theory Applied to the Methodology of Landscape Planning Adriana Afonso Sandre
Paulo Renato Pellegrino

4FMA

253
Adriana Carvalho ( - & Faculty of Engineering, University of Porto - PORTUGAL)
BIM based Airport Project Standardization (IFC) for use of Code Checking Adriana Carvalho
Ítalo Guedes
Max Andrade

5FMA

9

37
Aida Escobar Ramirez (School of Architecture, Nuevo León Autonomous University - MEXICO)
Digital inequality: Household computer access as a determining factor in the geo-localization of social differentiation of space Aida Escobar Ramirez
Sofia Garza Vargas

4FMA

181
The Digital Divide as a determining factor in the geographical localization of the urban Quality of Life in the metropolitan area of Monterrey, México Aida Escobar Ramirez
Sofia Garza Vargas

4FMA

60
Aikaterini Chatzivasileiadi ( - & Welsh School of Architecture, Cardiff University - UNITED KINGDOM)
Topologic: Exploring spatial reasoning through geometry, topology, and semantics Aikaterini Chatzivasileiadi
Wassim Jabi

5FMA

30

277
ALAN PENN ( - & The Bartlett, UCL - UNITED KINGDOM & Bartlett School of the Built Environment, University College London - UNITED KINGDOM)
Spectral Clustering and Integration - The inner dynamics of computational geometry and spatial morphology ALAN PENN
Tasos Varoudis

5FMA

34

243
Alberto Pinto (ESAP-students - PORTUGAL & Porto Arts Higher School - PORTUGAL)
synopsis and critique of ´A estrutura ausente´ from Umberto Eco Alberto Pinto
2FMA-S
X
Aleksandra Djukic ( - Servia)
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

7FMA

46
X
Alessandro Santucci (DESTeC - University of Pisa - ITALY & University of Pisa - ITALY)
Adapting Analysis Workflows to Hamanitarian Needs: Different Road Network Models and Tools Alessandro Santucci
Camilla Pezzica
Clarice Bleil de Souza
Valerio Cutini

5FMA

26

157
Alessio Erioli ( - Italy)
Assembler – a tool for computational decision at scale in combinatorial generation of architectural spaces Alessio Erioli
7FMA

80

352
X
ReLighting Spaces -Training daylight access cognition in combinatorial spatial assemblages using Reinforcement Learning Alessio Erioli
Giuseppe Massafra

7FMA

105

370
X
Alexandra Paio (FAB-LAB-IUL - PORTUGAL & Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon - PORTUGAL & Vitruvius FabLab, ISCTE-IUL - PORTUGAL & - & - Portugal)
Digital processes for collaborative answers in Architecture Alexandra Paio
3FMA

52
Spatial Analysis in GIS Environment: locational attractiveness assessment of the retail trade Alexandra Paio
Filipe Brandão
Ricardo Mendes Correia

4FMA

47

47
The social aspect of digital fabrication Alexandra Paio
Raquel Martins

3FMA

39
Transdisciplinary digital change Alexandra Paio
Filipe Brandão
Ricardo Mendes Correia

4FMA

61
Alexandros Efstathiadis (University of Ioannina - GREECE)
Massing and skin: A pedagogical experiment with physical and digital design media Alexandros Efstathiadis
Giorgos Kalaouzis
Ioanna Symeonidou

6FMA

30

375
Alexandros Kallegias (Bartlett School of the Built Environment, University College London - UNITED KINGDOM)
BIM: Costumizing the Standards Alexandros Kallegias
3FMA

56

19
Complexity revival in architecture: building innovation Alexandros Kallegias
4FMA

27
processing & grasshopper & agent based design Alexandros Kallegias
Elif Erdine

3WS
Alexandros Peteinarelis ( - & - Greece & University of Ioannina - GREECE)
Digital Doxiadis: Parametric Thinking for Human Settlements Alexandros Peteinarelis
Nikolas Patsavos

5FMA

12

61
Alice Rauber (Federal University of Rio Grande do Sul - BRAZIL)
Alexander’s theories applied to urban design Alice Rauber
Romulo Krafta

4FMA

29

13
Alice Silva (ESAP-students - PORTUGAL & Porto Arts Higher School - PORTUGAL)
synopsis and critique of ´Metapolis´, from Ascher Alice Silva
Isa Joana Teixeira
José Luis Azevedo
Maria Angélica Carvalho

2FMA-S
Álvaro Costa ( - Portugal)
Can topography favour the competitiveness of pedestrian over car? Álvaro Costa
Miguel Lopes
Nuno Miguel de Sousa gomes
Vítor Oliveira

7FMA

39

118
X
Amina Rezoug ( - Turkyie & Istanbul Technical University - TURKYIE)
Connecting Spaces and People: Point Cloud Segmentation in the Context of Design Anthropology Amina Rezoug
7FMA

88
X
Made by Architects, Modified by People: A Grammar for User Interventions Amina Rezoug
4FMA

55

377
Ammar Alammar (Welsh School of Architecture, Cardiff University - UNITED KINGDOM)
Generation of a Large Synthetic Database of Office Tower´s Energy Demand Using Simulation Ammar Alammar
Wassim Jabi

6FMA

21

479
Ana Almeida ( - & Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon - PORTUGAL)
What about if buildings respond to my mood? Ana Almeida
Luísa Almeida
Sara Eloy

5FMA

15

123
Ana Cláudia Teodoro (Faculty of Sciences, University of Porto - PORTUGAL)
quantumGIS & space syntax Ana Cláudia Teodoro
Joaquim Flores
José Alberto Gonçalves

3WS
Ana Cocho Bermejo ( - United Kingdom & Catalonia University - SPAIN)
Space Syntax as a Distributed Artificial Intelligence System: a Famework for a Multi-Agent System Development Ana Cocho Bermejo
6FMA

145
Space Syntax as an agent based system. NEtlogo framework proposal. Ana Cocho Bermejo
Dave De Jonge

7FMA

44

136
X
Ana Costa (Federal University of Rio Grande do Sul - BRAZIL)
Typological transformations in a same shape Ana Costa
Eliane Constantinou
Teresa Leite

3FMA

37

289
X
Ana Inglês (Técnico, University of Lisbon - PORTUGAL)
The poetry of architecture in the conception of public spaces: A look at Luanda´s urban revitalization Ana Inglês
Luisa Cannas da Silva
Teresa Valsassina Heitor

6FMA

41

93
Ana Luísa Maffini ( - & Federal University of Rio Grande do Sul - BRAZIL & Program in Urban and Regional Planning, Federal University of Rio Grande do Sul - BRAZIL)
Urban Segregation and Socio-Spatial Interactions: a configurational approach Ana Luísa Maffini
Clarice Maraschin

4FMA

51

63
Ana Luísa Rolim ( - & University of Campinas - BRAZIL & Federal University of Pernambuco - BRAZIL)
Design Strategies and Sexism in Domestic Spaces: a critical analysis of three modernist social housing icons Ana Luísa Rolim
Larissa Gomes

4FMA

52

79
The galleria progressiva in the Solomon R. Guggenheim Museum and the Museum of Unlimited Growth Ana Luísa Rolim
Luiz Amorim
Maria Júlia Jaborandy

4FMA

43

197
Ana Mélice Dias ( - Portugal)
Co-learning between research and practice in planning: adressing the physical form of cities Ana Mélice Dias
Vítor Oliveira

7FMA

37

66
X
Ana Paula Dalcin ( - Brazil)
Formal methods in flood disaster response: the case of Porto Alegre, Brazil Ana Paula Dalcin
Camilla Pezzica
Clarice Bleil de Souza
DIEGO ALTAFINII
Guilherme Marques

7FMA

103

517
X
Ana Sofia Guimarães (Faculty of Engineering, University of Porto - PORTUGAL)
Edifícios existentes – medidas de melhoria de desempenho energético e da qualidade do ar interior Ana Sofia Guimarães
1FMA
X X
Anders Ang ( - Singapore)
A category-theoretic formalism for architectural design generation: a parametric modelling demonstration Anders Ang
Aries Yang
Jielin Chen
Rudi Stouffs

7FMA

76

335
X
Leveraging graph-based machine learning to represent and generate architectural layouts Anders Ang
Aries Yang
Jielin Chen
Rudi Stouffs

7FMA

78

390
X
André Chaves (Faculty of Architecture, University of Porto - PORTUGAL)
Interaction between soil morphology and the technological landscape of Ave Valley André Chaves
4FMA

46
André Gonçalves (ESAP-students - PORTUGAL & Porto Arts Higher School - PORTUGAL)
synopsis and critique of ´Privacy And Segregation As A Basis For Analyzing and Modelling The Urban Space Composition Of The Libyan Traditional City´ from Faraj Abubaker el-Agouri André Gonçalves
Daniel Veludo
Pedro Costa Miranda
Sérgio Valente Pinto

2FMA-S
Andrew I-kang Li (Kyoto Institute of Technology - JAPAN)
shape grammars in architectural urban design Andrew I-kang Li
José Pinto Duarte

3WS
Andrew Malcolm ( - & Ghent University - BELGIUM)
LBD server: Visualising Building Ontologies in web-based environments using glTF-models Andrew Malcolm
Jeroen Werbrouck
Pieter Pauwels

5FMA

32

287
Aniruddha Mukherjee (Institute of Urban Design, University of Innsbruck - AUSTRIA & - )
L´Objet Invalide Aniruddha Mukherjee
5FMA

10

75
Antón Castro (Gallecia Higher School - PORTUGAL)
BIM ontologies Antón Castro
David Leite Viana
Jorge Vieira Vaz

3FMA

33

29
X
Antón Tejada (Gallecia Higher School - PORTUGAL)
Casa da Música’ (non)place: between global and local / Identifying Casa da Música´ Space Intensities Patterns Antón Tejada
David Leite Viana
Lígia Nunes

3FMA

50

197
António Ascensão (Faculty of Sciences, University of Porto - PORTUGAL)
3D Space Syntax Analysis: Attributes to be applied in Landscape Architecture Projects António Ascensão
Catarina Ruivo
Cláudia Fernandes
Franklim Morais
Laura Costa

4FMA

31

237
António Barbosa (Porto Arts Higher School - PORTUGAL)
without title António Barbosa
1FMA
X
António Francisco Morais (Minho University - PORTUGAL)
Strategies of Learning and control of robotic manufacturing methods in architecture António Francisco Morais
Bruno Figueiredo
Paulo J. S. Cruz

6FMA

22

501
António Menezes Leitão ( - & Técnico, University of Lisbon - PORTUGAL & - Portugal)
Behind algorithmic geometric patterns: a framework for facade design exploration António Menezes Leitão
Inês Caetano

6FMA

19

323
Mathematically developing building facades: an algorithmic framework António Menezes Leitão
Inês Caetano

5FMA

8

3
Aries Yang ( - Singapore)
A category-theoretic formalism for architectural design generation: a parametric modelling demonstration Anders Ang
Aries Yang
Jielin Chen
Rudi Stouffs

7FMA

76

335
X
Leveraging graph-based machine learning to represent and generate architectural layouts Anders Ang
Aries Yang
Jielin Chen
Rudi Stouffs

7FMA

78

390
X
Arthur Oliveira (ISCTE - IUL - PORTUGAL & ISCTE-University Institute of Lisbon - PORTUGAL)
EXAMINING THE DIFFUSION OF COVID-19 CASES IN VIÇOSA-MG: A CONFIGURATIONAL APPROACH Arthur Oliveira
David Leite Viana
Marine Mattos
Teresa Faria

6FMA

39

175
Ashik Vaskor Mannan
From Brush to AI: How Tools Have Transformed Architectural Paradigms Ashik Vaskor Mannan
M. Arefeen Ibrahim

7FMA

68

319
X
Audrey Xu ( - Singapore)
Neuroaesthetic Measures of High-Rise Housing Facades Audrey Xu
Immanuel Koh

7FMA

117

612
X
Avelino Oliveira ( - Portugal)
Closing Speech of the 7FMA Avelino Oliveira
7FMA
X
Bárbara Rangel
Integrating Additive Manufacturing with BIM: A Case Study in Sustainable Architecture and Construction Bárbara Rangel
Jaime Cunha

7FMA

90

561
X
Beatriz Couto (CGI - PORTUGAL & - )
Borealis sound an Interactive wall: users’ response to responsive architecture Beatriz Couto
Sara Eloy

5FMA

17

133
Berfin Yildiz ( - Turkyie)
Automated Two-Story Floor Plan Generation using Generative Adversarial Networks Berfin Yildiz
Gulen Cagdas
Ibrahim Zincir

7FMA

82

410
X
Bruno Figueiredo (Minho University - PORTUGAL)
Strategies of Learning and control of robotic manufacturing methods in architecture António Francisco Morais
Bruno Figueiredo
Paulo J. S. Cruz

6FMA

22

501
Bruno Marques ( - Portugal)
Parametric Software and the Architectural Design Bruno Marques
Darlene julio

7FMA

123

232
X
Preface Bruno Marques
Catarina Ruivo
David Leite Viana
Jorge Vieira Vaz

7FMA

v
X
Buse ERKAN ( - Turkyie)
The Effect of Potential Urban Elements on Finding Direction in Urban Space Exampling Of Kadiköy- Yeldegirmeni, Istanbul,Turkey Buse ERKAN
Mehmet Emin Salgamcioglu

7FMA

50

179
X
Caio Cacholas ( - Brazil)
Deciphering Urban Morphogenesis: A Morphospace Perspective Caio Cacholas
Daniel Lenz
Dries Daems
Fabiano Lemes Ribeiro
HOWARD DAVIS
Vinicius de Moraes Netto 2

7FMA

35

43
X
Camila Santana (Estácio do Ceará University Centre - BRAZIL)
The space between the formal and the informal city alongside the River Maranguapinho Camila Santana
Ugo Santana

4FMA

54

101
Camilla Pezzica ( - United Kingdom & - & DESTeC - University of Pisa - ITALY)
Adapting Analysis Workflows to Hamanitarian Needs: Different Road Network Models and Tools Alessandro Santucci
Camilla Pezzica
Clarice Bleil de Souza
Valerio Cutini

5FMA

26

157
Formal methods in flood disaster response: the case of Porto Alegre, Brazil Ana Paula Dalcin
Camilla Pezzica
Clarice Bleil de Souza
DIEGO ALTAFINII
Guilherme Marques

7FMA

103

517
X
Multi-scale configurational approach to the design of public open spaces after urban disasters Camilla Pezzica
Chiara Chioni
Clarice Bleil de Souza
Simone Rusci
Valerio Cutini

5FMA

21

171
Canan Albayrak Colaço (Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon - PORTUGAL & Middle East Technical University - TURKYIE)
Upgrading Participation through Computational Thinking in Architecture Canan Albayrak Colaço
Zeynep Mennan

5FMA

16

85
Z-Tolerance: Three dimensional abstract representations of the migration issues in Europe Canan Albayrak Colaço
Rui Colaço

4FMA

50

343
Carina Oliveira ( - Portugal)
Reimagining Human-Nature Coexistence: An Integrative Approach to Architectural Design with Biomimicry, Generative Modeling, and AI Carina Oliveira
Filipa Peres Crespo Osório
Leonor Marques
Mário Domingos
Mário Ribeiro Manaia
Mauro Costa Couceiro

7FMA

56

207
X
Carlos Oliveira (ESAP-students - PORTUGAL & Porto Arts Higher School - PORTUGAL)
synopsis and critique of ´Lattice archipelogics´ from Marcelyn Gow, David Erdman, Chris Perry Carlos Oliveira
2FMA-S
Carlos Seoane (University of A Coruña - SPAIN)
The red carpet Carlos Seoane
6FMA

8
Carmen Escoda ( - Spain)
Formalization and Education in Architectural and Urban Design: Their Hermeneutic Dimensions Carmen Escoda
JOSEP MUNTAÑOLA
MAGDA SAURA
Margaret Krawecka
Regina Garcia

7FMA

52

575
X
Carolina Coelho (School of Architecture, University of Coimbra - PORTUGAL & Department of Architecture, Centre for Social Studies, University of Coimbra, Portugal - PORTUGAL & - & - Portugal)
A gathered methodology: towards enhancing adaptable learning spaces Carolina Coelho
3FMA

47

155
Space, Adaptability and Use: Triangulating research criteria for adaptability retrieval Carolina Coelho
5FMA

22

147
Catarina Ruivo (CIAUD-FAUL - PORTUGAL & Concinnitas CRL - PORTUGAL & ISCTE-University Institute of Lisbon - PORTUGAL & Research Centre for Architecture, Urbanism and Design, Lisbon School of Architecture, University of Lisbon - PORTUGAL & - Portugal)
3D Space Syntax Analysis: Attributes to be applied in Landscape Architecture Projects António Ascensão
Catarina Ruivo
Cláudia Fernandes
Franklim Morais
Laura Costa

4FMA

31

237
A propósito de ‘a dança’ de Merion (1931-3) de Henri Matisse – algumas reflexões linguísticas sobre arte Catarina Ruivo
Franklim Morais

2FMA
X X
Closing Speech of the 7FMA Catarina Ruivo
7FMA

xiii
X
Consequences of architectural form on social interaction: function as a basis for housing studies through expanded Space Syntax Catarina Ruivo
3FMA

30

131
X
Depthspace3D: a digital tool for 3D space syntax analysis Catarina Ruivo
Franklim Morais

4WS
Formal methods in social housing municipal management Catarina Ruivo
David Leite Viana
Isabel Cristina Carvalho
Jorge Vieira Vaz
Sara Eloy

4FMA

48
Integrating formal methodologies in a multilayered analysis for public space management policies Catarina Ruivo
Franklim Morais
Jorge Vieira Vaz

6FMA

23

115
Introduction - Formal methods in Architecture and Urbanism Catarina Ruivo
David Leite Viana
Franklim Morais
Jorge Vieira Vaz

4FMA

1
ONTOARCHI – an ontological framework for developing a semantically based new generation of automation tools for architectural design Catarina Ruivo
David Leite Viana
Franklim Morais
Isabel Cristina Carvalho
Jorge Vieira Vaz

4FMA

39
Preface Bruno Marques
Catarina Ruivo
David Leite Viana
Jorge Vieira Vaz

7FMA

v
X
SCAVA – Space Configuration, Accessibility and Visibility Analysis: a 3D space syntax approach Catarina Ruivo
David Leite Viana
Franklim Morais
Jorge Vieira Vaz

4FMA

53
SCAVATools, strategies and tools for the mass dissemination of SCAVA techniques Catarina Ruivo
David Leite Viana
Franklim Morais
Isabel Cristina Carvalho
Jorge Vieira Vaz

5FMA

33

251
Some Controversies around Formalization in Architecture Catarina Ruivo
David Leite Viana
Franklim Morais
Jorge Vieira Vaz
Plácido Lizancos
Vicente López Chao

6FMA

35
space syntaxes 2D & 3D Catarina Ruivo
Franklim Morais

3WS
CHEN YANG (University of Waterloo - CANADA)
Restructuring urban form through the redistribution of connectivity: an integrated urban network approach CHEN YANG
Zu Qian

6FMA

28

79
Chiara Chioni ( - & DESTeC - University of Pisa - ITALY)
Multi-scale configurational approach to the design of public open spaces after urban disasters Camilla Pezzica
Chiara Chioni
Clarice Bleil de Souza
Simone Rusci
Valerio Cutini

5FMA

21

171
Chi-Li Cheng (Graduate Institute of Architecture, National Chiao Tung University - TAIWAN & - )
Reconstructing photogrammetric 3D model by using deep learning Chi-Li Cheng
June-Hao Hou

5FMA

29

295
Christoph Opperer (Institute of Urban Design, University of Innsbruck - AUSTRIA & - Austria)
VISSOP: A Tool for Visibility Analysis within SideFx Houdini Christoph Opperer
6FMA

35

63
Chul Min Yeum ( - Canada)
Advancing Architectural Visualization: Boosting Scale and Reality with Augmented Reality Chul Min Yeum
Jason Su

7FMA

64

281
X
Clarice Bleil de Souza ( - United Kingdom & Welsh School of Architecture, Cardiff University - UNITED KINGDOM)
Adapting Analysis Workflows to Hamanitarian Needs: Different Road Network Models and Tools Alessandro Santucci
Camilla Pezzica
Clarice Bleil de Souza
Valerio Cutini

5FMA

26

157
Formal methods in flood disaster response: the case of Porto Alegre, Brazil Ana Paula Dalcin
Camilla Pezzica
Clarice Bleil de Souza
DIEGO ALTAFINII
Guilherme Marques

7FMA

103

517
X
Multi-scale configurational approach to the design of public open spaces after urban disasters Camilla Pezzica
Chiara Chioni
Clarice Bleil de Souza
Simone Rusci
Valerio Cutini

5FMA

21

171
Clarice Maraschin ( - & Program in Urban and Regional Planning, Federal University of Rio Grande do Sul - BRAZIL)
Urban Segregation and Socio-Spatial Interactions: a configurational approach Ana Luísa Maffini
Clarice Maraschin

4FMA

51

63
Cláudia Fernandes (Faculty of Sciences, University of Porto - PORTUGAL)
3D Space Syntax Analysis: Attributes to be applied in Landscape Architecture Projects António Ascensão
Catarina Ruivo
Cláudia Fernandes
Franklim Morais
Laura Costa

4FMA

31

237
Cláudia Monteiro (Faculty of Engineering, University of Porto - PORTUGAL & - Portugal)
Changing methods in teaching for strengthening the relation between research and practice Cláudia Monteiro
Vítor Oliveira

6FMA

34

407
Cristina Nan (HafenCity University Hamburg - GERMANY)
New territories of CAM: Machinecraft Cristina Nan
3FMA

54

339
Cristina Paixão (ESAP-students - PORTUGAL & Porto Arts Higher School - PORTUGAL)
synopsis and critique of ´Geometry, algorithm, pattern´, from Cecil Balmond Cristina Paixão
2FMA-S
X X
Cristina Ribeiro (Faculty of Engineering, University of Porto - PORTUGAL)
Ontologies: technologies for domain modelling, knowledge re-purposing and knowledge sharing Cristina Ribeiro
3FMA

28
X

a meeting place between academia and architecture professionals

MENU --> 7th 8th