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 (K-O) (tip)

Authors from K to O 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
Kaiko Kivi ( - Estonia)
Reimagining Digitalized Space: Integrating Meaning and Technology in Building Systems Kaiko Kivi
7FMA

54

218
X
Katarzyna Augustyniak (Campos Costa Arquitectos - PORTUGAL)
Innovation and tradition: crafts in digital age Katarzyna Augustyniak
Pedro Campos Cista

3FMA

53

351
Kerstin Sailer (Space Syntax Laboratory, The Bartlett, School of Architecture, UCL - UNITED KINGDOM & Space Syntax Laboratory, Bartlett School of the Built Environment, University College London - UNITED KINGDOM)
Partitioning indoor space using visibility graphs: Investigating user behaviour in office spaces Kerstin Sailer
Petros Koutsolampros
Tasos Varoudis

4FMA

44

219
Krishnendra Shekawat (Lisbon School of Architecture, University of Lisbon - PORTUGAL)
A compositional schema for the automated generation of best connected rectangular floor plans José Pinto Duarte
Krishnendra Shekawat

3FMA

44

259
X
Lais Bertolino ( - Portugal)
Plot systems and adaptation: a method for analysing space and time Lais Bertolino
Vítor Oliveira

7FMA

34

102
X
Larissa Gomes ( - & University of Campinas - 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
Laura Costa (Laura Roldão Costa -Arq Paisagista - PORTUGAL & LR - Landscape Architecture, Lda. - PORTUGAL & - Portugal & Trás-os-Montes e Alto Douro University - 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
Leen Hiasat ( - & Lisbon School of Architecture, University of Lisbon - PORTUGAL)
Building Circulation from a Syntactic Context in Relation to Indoor Thermal Environment Leen Hiasat
Pedro Januário

5FMA

19

115
Lenka Kabošová (Kosice University - SLOVAKIA)
Experimental Form-finding; Case Study: “Weather Pavilion” Dušan Katunský
Lenka Kabošová
Martin Baroš
Tomáš Baroš

6FMA

42

269
Leonor Domingos ( - & - Portugal)
Optimizing Sustainability through digital tools: Energy and Carbon Comparative Analysis of Brick, Concrete and Wood Frame Constructions in Coimbra Residences Leonor Domingos
Ricardo Resende
Sara Margarida Cabral Parece

7FMA

109

243
X
Leonor Marques
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
Lígia Nunes
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
Luís Antunes (Advanced Studies Course in Digital Architecture (ISCTE/FAUP) - PORTUGAL)
Digital tiles Luís Antunes
3FMA

36
Luís Ferreira Rodrigues (Porto Arts Higher School - PORTUGAL)
A ideia e o projecto Luís Ferreira Rodrigues
1FMA
X
Luis Manuel Santalla-Blanco (University of A Coruña - SPAIN)
Teaching architecture through diagrams and algorithms Luis Manuel Santalla-Blanco
6FMA

29

419
Luís Ribeiro da Silva (The Institute for the History and Theory of Architecture (GTA), ETH Zurich - SWITZERLAND)
Temporal structure in music and architecture: a comparative analysis Daniel Moreira
Luís Ribeiro da Silva

3FMA

48
Luis Santos ( - Denmark)
Reassembling Waste: Towards a Carbon Zero Built Environment Inês Caetano
Luis Santos

7FMA

107

261
X
Luísa 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
Luisa Cannas da Silva (Técnico, University of Lisbon - PORTUGAL & Civil Engineering Research and Innovation for Sustainability, Técnico, University of Lisbon - PORTUGAL)
The centrality of (vocational-oriented) knowledge An assessment of the location of polytechnic institutes in Portugal Luisa Cannas da Silva
Mafalda Toscano
Reem Shurush
Teresa Valsassina Heitor

4FMA

59

133
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
Luiz Amorim ( - & - Brazil & Universidade Federal de Pernambuco - BRAZIL & Federal University of Pernambuco - BRAZIL & Universidade Federal de Pernambuco, UFPE - BRAZIL & - )
Development of a permeability measure between private and public space Luiz Amorim
Meta Berghauser Pont
Patrícia Alonso

4FMA

58

115
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
M. Arefeen Ibrahim ( - Bangladesh)
From Brush to AI: How Tools Have Transformed Architectural Paradigms Ashik Vaskor Mannan
M. Arefeen Ibrahim

7FMA

68

319
X
Mafalda Toscano (Civil Engineering Research and Innovation for Sustainability, Técnico, University of Lisbon - PORTUGAL)
The centrality of (vocational-oriented) knowledge An assessment of the location of polytechnic institutes in Portugal Luisa Cannas da Silva
Mafalda Toscano
Reem Shurush
Teresa Valsassina Heitor

4FMA

59

133
MAGDA SAURA ( - 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
Marcio Nisenbaum ( - Brazil)
In-formation: shaping tools, composition rules, visual thinking and the creative processes Gonçalo Castro Henriques
Marcio Nisenbaum
Tatiana Teixeira

7FMA

125

651
X
Margaret Krawecka ( - 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
Maria Angélica Carvalho (ESAP-students - PORTUGAL & Montes Agency - 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
Maria João de Oliveira ( - & Dinamia'cet-IUL, ISCTE University Institute of Lisbon - PORTUGAL & - Portugal)
Nature Pleated Surfaces Filipa Crespo Osório
Maria João de Oliveira

5FMA

20

101
Maria Júlia Jaborandy ( - & Pernambuco Catholic University - BRAZIL)
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
María Lopez Calleja (MVRVD - NETHERLANDS)
From Datascape to Formal Methods María Lopez Calleja
5FMA

6

xii
Mariana Yollohtzin Tafoya García (Universidad Nacional Autonoma de México - MEXICO)
Local spatial analysis for two exhibition halls in Mexico City. Mariana Yollohtzin Tafoya García
6FMA

43

49
Marine Mattos (ISCTE - IUL - PORTUGAL & Universidade Federal de Viçosa - BRAZIL & - 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
Mário Domingos
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
Mário Ribeiro Manaia
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
Martin Baroš (Kosice University - SLOVAKIA)
Experimental Form-finding; Case Study: “Weather Pavilion” Dušan Katunský
Lenka Kabošová
Martin Baroš
Tomáš Baroš

6FMA

42

269
Mauro Costa Couceiro ( - & Gallecia Higher School - PORTUGAL & - Portugal)
Biological analogies for architecture and design Mauro Costa Couceiro
1FMA
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
Urbanismo fora de controlo Mauro Costa Couceiro
2FMA
Max Andrade (Universidade Federal de Pernambuco - BRAZIL & Federal University of Pernambuco - BRAZIL)
BIM based Airport Project Standardization (IFC) for use of Code Checking Adriana Carvalho
Ítalo Guedes
Max Andrade

5FMA

9

37
Mehmet Emin Salgamcioglu (Instanbul Technical University, Turkey - TURKYIE & - Turkyie & Istanbul Technical University, Faculty of Architec - 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
Meta Berghauser Pont (Chalmers University of Technology - SWEDEN & - Sweden)
Development of a permeability measure between private and public space Luiz Amorim
Meta Berghauser Pont
Patrícia Alonso

4FMA

58

115
Urban morphometrics and Evidence-Based Design Meta Berghauser Pont
7FMA

26
X
Micaela Raposo ( - & Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon - PORTUGAL & - Portugal)
Architecting the Metaverse: A Paradigm Shift in Architecture Co-Design Micaela Raposo
Nuno Pereira da Silva
Sara Eloy

7FMA

61

300
X
Tools for the co-designing of housing transformations: a study on interaction and visualization modes Fábio Costa
Micaela Raposo
Pieter E. Vermaas
Sara Eloy

5FMA

18

91
Miguel Lopes ( - 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
Miguel Serra (CITTA-FEUP - PORTUGAL & Space Syntax Laboratory, The Bartlett, School of Architecture, UCL - UNITED KINGDOM & Faculty of Engineering, University of Porto - PORTUGAL)
Metropolitan spatial anatomies: decoding the morphological structure of the city-region Miguel Serra
3FMA

32
Miguel Vidal Calvet (University of Hertforshire - UNITED KINGDOM)
Encoding social values of local communities in algorithmic-driven design methods Miguel Vidal Calvet
Neil Spencer
Silvio Carta
Tuschi Tommaso

6FMA

40

435
Mike Mckay (University of Kentucky, College of Design - UNITED STATES of AMERICA)
Relative positioning Mike Mckay
3FMA

27

273
X
Miltiadis Katsaros ( - Greece)
From text to 3D models: Utilizing Large Language Models in Grasshopper for automating scripting and algorithmic design workflows Miltiadis Katsaros
Styliani (Stella) Salta

7FMA

84

430
X
Mine Özkar ( - Turkyie & Istanbul Technical University, Faculty of Architec - TURKYIE)
Formal Studies on the Parts and Wholes of Historical Bricklay Designs Mine Özkar
Sevgi Altun

6FMA

20

343
Mirjana Devetakovic ( - Servia)
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

7FMA

114
X
Mohamed-Anis Gallas (Mons University - BELGIUM)
A data workflow approach for a pedagogical sensitization to the BIM concept Etienne Godimus
Gregorio Saura-Lorente
Mohamed-Anis Gallas

6FMA

15

359
Momen Foadmarashi (Lisbon School of Architecture, University of Lisbon - PORTUGAL & - )
Public Space Use: an Approach to Livability in Urmia Bazaar, Iran Francisco Serdoura
Momen Foadmarashi

5FMA

24

231
Muzaffer Ali Yaygin (Faculty of Engineering, University of Porto - PORTUGAL)
Applying a morphological approach to Istanbul’s urban landscape Muzaffer Ali Yaygin
Vítor Oliveira

6FMA

38

201
Nabil Mohareb ( - Egypt)
Visualizing Urban Experience: AI and Computer Vision Framework for Historic Commercial Streets in Egypt Nabil Mohareb
7FMA

43

158
X
Neil Spencer (University of Hertforshire - UNITED KINGDOM)
Encoding social values of local communities in algorithmic-driven design methods Miguel Vidal Calvet
Neil Spencer
Silvio Carta
Tuschi Tommaso

6FMA

40

435
Nicola Marzot (Delft University of Technology - NETHERLANDS)
Architecture and the City Esther Gramsbergen
Nicola Marzot
Olindo Caso
Roberto Cavallo
Susanne Komossa

4FMA

273
Nicolle Prado (Laboratory of 3d Models and Digital Fabrication, Federal University of Rio de Janeiro - BRAZIL)
Four-dimensional objects, Cellular Automata and Virtual Reality – The Hypercocoon project Emílio Bier
Isadora Tebaldi
Nicolle Prado
Victor Sardenberg

4FMA

49

333
Nikola Mitrovic ( - 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
Nikolas Patsavos ( - & - Greece & University of Ioannina - GREECE)
Digital Doxiadis: Parametric Thinking for Human Settlements Alexandros Peteinarelis
Nikolas Patsavos

5FMA

12

61
Nuno Miguel de Sousa gomes ( - 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
Nuno Montenegro (Research Centre for Architecture, Urbanism and Design, Lisbon School of Architecture, University of Lisbon - PORTUGAL)
Padrões: uma modelização para planeamento Nuno Montenegro
1FMA
X X
Nuno Pereira da Silva (ISCTE-University Institute of Lisbon - PORTUGAL & - Portugal)
Architecting the Metaverse: A Paradigm Shift in Architecture Co-Design Micaela Raposo
Nuno Pereira da Silva
Sara Eloy

7FMA

61

300
X
Will drones have a role in building construction? Nuno Pereira da Silva
Sara Eloy

4FMA

38

451
Olha Tikhonova ( - & - Spain & Lisbon School of Architecture, University of Lisbon - PORTUGAL)
Computational Proportional Analysis of Inner Residential Spaces in Seventeenth-Century Bastion Castles Olha Tikhonova
7FMA

113

592
X
Understanding a bastion castle in Pidhirtsi using the Space Patterns system for spatial analysis Olha Tikhonova
5FMA

28

221
Olindo Caso (Delft University of Technology - NETHERLANDS)
Architecture and the City Esther Gramsbergen
Nicola Marzot
Olindo Caso
Roberto Cavallo
Susanne Komossa

4FMA

273
Osman Sümer (Istanbul Technical University - TURKYIE)
Generating Forms via Informed Motion, a Flight Inspired Method Based on Wind and Topography Data Demircan Tas
Osman Sümer

4FMA

33

303

a meeting place between academia and architecture professionals

MENU --> 7th 8th