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

Papers from ( to K are presented in this page
To see the other Papers, please click on the side buttons

Title Authors Event BoA page BoP page YouTube PDF ZIP CV PPT Abst Text
(in)formal state of mind Filipe Afonso
Vasco Magalhães

2FMA
X X
1.º Encontro ´Métodos Formais e Semi-Formais em Arquitectura´ - sessão de abertura
1FMA
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
3rd Symposium Formal Methods in Architecture: Opening Speech Franklim Morais
3FMA

11
X
4th Symposium Formal Methods in Architecture: Closing Remarks Franklim Morais
4FMA

7
4th Symposium Formal Methods in Architecture: Closing Speech David Leite Viana
Franklim Morais
Jorge Vieira Vaz

4FMA

63
4th Symposium Formal Methods in Architecture: Opening Speech David Leite Viana
Franklim Morais
Jorge Vieira Vaz

4FMA

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

7FMA

76

335
X
A compositional schema for the automated generation of best connected rectangular floor plans José Pinto Duarte
Krishnendra Shekawat

3FMA

44

259
X
A data mining based methodology for the multidimensional study of public open spaces João Ventura Lopes
3FMA

35

113
A data workflow approach for a pedagogical sensitization to the BIM concept Etienne Godimus
Gregorio Saura-Lorente
Mohamed-Anis Gallas

6FMA

15

359
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
A gathered methodology: towards enhancing adaptable learning spaces Carolina Coelho
3FMA

47

155
A Generative System using Shape Grammar. A case study visual programming Daniel Lenz
4FMA

42

425
A ideia e o projecto Luís Ferreira Rodrigues
1FMA
X
A new pedestrian bridge between Vila Nova de Cerveira and Goiàn David Leite Viana
Isabel Cristina Carvalho

3FMA

38
X
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
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
Additive Construction on Earth and beyond: from research to practical applications José Pinto Duarte
7FMA

19
X
Advancing Architectural Visualization: Boosting Scale and Reality with Augmented Reality Chul Min Yeum
Jason Su

7FMA

64

281
X
Agent-based Semiology: Optimizing Office Occupation Patterns With Agent-based Simulations Robert Neumayr
5FMA

11

49
AI-DRIVEN VISUAL GENERATION: GENERATIVE ADVERSARIAL NEURAL NETWORK (GAN) AND DIFFUSION MODELS. Pedro Meira-Rodríguez
Vicente López Chao

7FMA

63

456
X
Alberti Digital: do tratado à materialização física José Pinto Duarte
2FMA
Alexander’s theories applied to urban design Alice Rauber
Romulo Krafta

4FMA

29

13
All bottles from one design semantics in design generation using ontologies to control shape generation José Nuno Beirão
Rui de Klerk

4FMA

40
An experience around the rationalization of architectural analysis. Plácido Lizancos
Vicente López Chao

6FMA

31

389
An integrated approach to urban form Vítor Oliveira
3FMA

45
X
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
Applying a morphological approach to Istanbul’s urban landscape Muzaffer Ali Yaygin
Vítor Oliveira

6FMA

38

201
Architecting the Metaverse: A Paradigm Shift in Architecture Co-Design Micaela Raposo
Nuno Pereira da Silva
Sara Eloy

7FMA

61

300
X
Architecture and the City Esther Gramsbergen
Nicola Marzot
Olindo Caso
Roberto Cavallo
Susanne Komossa

4FMA

273
Arquitectura de contornos técnicos Gonçalo Louro
1FMA
X X X
Arquitectura Experimental - linguagem e reflexões José Luís Guimarães
2FMA
Assembler – a tool for computational decision at scale in combinatorial generation of architectural spaces Alessio Erioli
7FMA

80

352
X
Associative Synthesis with Deep Neural Networks for Architectural Design Immanuel Koh
6FMA

18

307
Automated Two-Story Floor Plan Generation using Generative Adversarial Networks Berfin Yildiz
Gulen Cagdas
Ibrahim Zincir

7FMA

82

410
X
Behind algorithmic geometric patterns: a framework for facade design exploration António Menezes Leitão
Inês Caetano

6FMA

19

323
Beyond the visual field: advances in thinking about and analysing space Tasos Varoudis
3FMA

31
BIM / VDC - Building Information Modeling / Virtual Design to Construction Jorge Vieira Vaz
1FMA
X
BIM based Airport Project Standardization (IFC) for use of Code Checking Adriana Carvalho
Ítalo Guedes
Max Andrade

5FMA

9

37
BIM METHODOLOGY INTEGRATION IN THE MAINTENANCE AND REHABILITATION OF HERITAGE AND HISTORICAL BUILDINGS Patrick Loureiro
Rui Seabra

6FMA

14
BIM ontologies Antón Castro
David Leite Viana
Jorge Vieira Vaz

3FMA

33

29
X
BIM: Costumizing the Standards Alexandros Kallegias
3FMA

56

19
BIMActors: A hybrid formal model for cognitive buildings P Govind Raj
Subrat Kar

6FMA

13

453
Biological analogies for architecture and design Mauro Costa Couceiro
1FMA
Book Presentation ´Formal Methods in Architecture´
4BP
Borealis sound an Interactive wall: users’ response to responsive architecture Beatriz Couto
Sara Eloy

5FMA

17

133
Building Circulation from a Syntactic Context in Relation to Indoor Thermal Environment Leen Hiasat
Pedro Januário

5FMA

19

115
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
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
Changing methods in teaching for strengthening the relation between research and practice Cláudia Monteiro
Vítor Oliveira

6FMA

34

407
Cidades Inteligentes: tecnologia, comunidade e espaço urbano Frederico Muñoz
2FMA
Circumstances generate the form: origin and evolution of the hospital pavilion typology Sérgio Mendes
4FMA

37

165
City Information Modeling – o CIM em CItyMaker: análise, síntese e avaliação em projecto urbano José Nuno Beirão
2FMA
X
City sciences workflows Elisa Pozo Menèndez
4WS
Closing Speech of the 7FMA Avelino Oliveira
7FMA
X
Closing Speech of the 7FMA Catarina Ruivo
7FMA

xiii
X
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
Collaboration of Visual Intelligence between Human and Machinic Actors in Design Processes Egemen Berker Kizilcan
5FMA

31

305
Collaborative mapping with smartphones – an artistic approach Isabel Cristina Carvalho
4FMA

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

7FMA

127

78
X
Como se desenha a luz no Projecto? Telmo Castro
2FMA
Compact City–Urban Sprawl – Sites & Services Challenges in the COVID-19 Era Reinhard Goethert
5FMA

6
Comparing Anthropogenic Water Risks from Climate Change in London and Kolkata Tazyeen Alam
7FMA

99

495
X
Complex Buildings and Cellular Automata. A cellular automaton model for the Centquatre-Paris. Janet Hetman
Roberto d'Autilia

4FMA

45

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

27
Computational Proportional Analysis of Inner Residential Spaces in Seventeenth-Century Bastion Castles Olha Tikhonova
7FMA

113

592
X
Condicionamentos formais do projecto Sérgio Mendes
2FMA
Connecting Spaces and People: Point Cloud Segmentation in the Context of Design Anthropology Amina Rezoug
7FMA

88
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
Cork Re-Wall Filipe Brandão
3FMA

40

359
X
Da estandartização à personalização (digital) José Pedro Sousa
1FMA
X X
Da matemática das proporções à gramática da cadência: breve panorama de sistemas teóricos e métodos compositivos na música Daniel Moreira
2FMA
Data driven simulation model for hospital architecture: modelling and simulating clinical process, architectural layout and patient logistics in a hospital’s Building Information Model shape Johan van der Zwart
Tor Åsmund Evjen

3FMA

34

223
Data Driven Spatial Analysis of Urban Renewal. Network Kernel Density Estimation of Building Renovation Filipe Brandão
Ricardo Mendes Correia
Rosália Guerreiro

5FMA

23

185
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
Depthspace3D: a digital tool for 3D space syntax analysis Catarina Ruivo
Franklim Morais

4WS
DepthSpace3D: a new digital tool for 3D Space Syntax analysis Franklim Morais
3FMA

41

91
X
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
Design to Experiment, Experiment to Design: Tool-user,Tool-breaker,Tool-designer Ekin Ünlü
Sema Alaçan

5FMA

14

19
Development impact: Applying network analysis to urban migration data Susannah Cramer-Greenbaum
5FMA
Development of a permeability measure between private and public space Luiz Amorim
Meta Berghauser Pont
Patrícia Alonso

4FMA

58

115
Digital Doxiadis: Parametric Thinking for Human Settlements Alexandros Peteinarelis
Nikolas Patsavos

5FMA

12

61
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
Digital processes for collaborative answers in Architecture Alexandra Paio
3FMA

52
Digital tiles Luís Antunes
3FMA

36
Edifícios existentes – medidas de melhoria de desempenho energético e da qualidade do ar interior Ana Sofia Guimarães
1FMA
X X
Encoding social values of local communities in algorithmic-driven design methods Miguel Vidal Calvet
Neil Spencer
Silvio Carta
Tuschi Tommaso

6FMA

40

435
Espaço e lógica [in]formal David Leite Viana
1FMA
X X X X
Evaluating urbanity by measuring urban morphology attributes José Nuno Beirão
Samira Elias

6FMA

32

219
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
Experimental Form-finding; Case Study: “Weather Pavilion” Dušan Katunský
Lenka Kabošová
Martin Baroš
Tomáš Baroš

6FMA

42

269
Exploring Photogrammetry’s Creative Potential in Nature Driven Architecture Design Francisco Scotti
Pedro de Azambuja Varela

7FMA

92

543
X
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
Form and meaning in architecture and urbanism: principles of quality Javier Poyatos Sebastian
4FMA

24

263
Form finding and generative systems: A theoretical and applied research project Daniel Lenz
Ernesto Bueno
Gonçalo Castro Henriques
Jarryer de Martino
Victor Sardenberg

4FMA

23

391
Formal Methods in Architectura: Preface David Leite Viana
Franklim Morais
Jorge Vieira Vaz
Sara Eloy

5FMA

v
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
Formal methods in social housing municipal management Catarina Ruivo
David Leite Viana
Isabel Cristina Carvalho
Jorge Vieira Vaz
Sara Eloy

4FMA

48
Formal Studies on the Parts and Wholes of Historical Bricklay Designs Mine Özkar
Sevgi Altun

6FMA

20

343
Formalizar para quê? Franklim Morais
2FMA
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
Formalizing municipal urban planning David Leite Viana
6FMA

33
Four-dimensional objects, Cellular Automata and Virtual Reality – The Hypercocoon project Emílio Bier
Isadora Tebaldi
Nicolle Prado
Victor Sardenberg

4FMA

49

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

7FMA

68

319
X
From Datascape to Formal Methods María Lopez Calleja
5FMA

6

xii
From patterns to parameters Guillermo Varela
3FMA

43
From scribbling to risking Telmo Castro
3FMA

26

215
X
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
Generating Forms via Informed Motion, a Flight Inspired Method Based on Wind and Topography Data Demircan Tas
Osman Sümer

4FMA

33

303
Generation of a Large Synthetic Database of Office Tower´s Energy Demand Using Simulation Ammar Alammar
Wassim Jabi

6FMA

21

479
Generative Biomorphism Ricardo Massena Gago
4FMA

35

317
Geographic Information Systems (GIS) in Architecture and Urbanism Education Joaquim Flores
7FMA

71

665
X
Geometrias e Arquitecturas João Pedro Xavier
1FMA
Geometrias na prática da Arquitectura José Semide
1FMA
X X X
Global and Disciplinary Frameworks for Formal Methods in Architecture David Leite Viana
Franklim Morais
Jorge Vieira Vaz

5FMA

xv
Graph Theory Applied to the Methodology of Landscape Planning Adriana Afonso Sandre
Paulo Renato Pellegrino

4FMA

253
Graphic user environment for agent based modelling and simulation Tiago Gomes
3FMA

49

171
Hibridismo e auto-organização David Leite Viana
2FMA
Industrial heartbeat of O Poriño David Patiño Álvarez
3FMA

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

7FMA

125

651
X
Innovation and tradition: crafts in digital age Katarzyna Augustyniak
Pedro Campos Cista

3FMA

53

351
Inserting new technologies in architectural curricula: from research to practice, and to teaching José Pinto Duarte
3FMA

51
Integrating Additive Manufacturing with BIM: A Case Study in Sustainable Architecture and Construction Bárbara Rangel
Jaime Cunha

7FMA

90

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

6FMA

23

115
Interaction between soil morphology and the technological landscape of Ave Valley André Chaves
4FMA

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

4FMA

1
Introduction: Formal Methods in Architecture and Urbanism David Leite Viana
Franklim Morais
Jorge Vieira Vaz

3FMA

1
Kahn’s Two Houses: From Formal Analysis to Animated Synthesis Heather Ligler
7FMA

118

634
X

a meeting place between academia and architecture professionals

MENU --> 7th 8th