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 (D-J) (tip)

Authors from D to J 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
Daiva Marcinkeviviute (Welsh School of Architecture, Cardiff University - UNITED KINGDOM)
Plausible Layout Generation Using Machine Learning, Evolutionary Optimisation and Parametric Methods Daiva Marcinkeviviute
Wassim Jabi

6FMA

24

251
Daniel Lenz (Program of Post-Graduation in Urbanism, Federal University of Rio de Janeiro - BRAZIL)
A Generative System using Shape Grammar. A case study visual programming Daniel Lenz
4FMA

42

425
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
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
Daniel Moreira (Higher School of Music and Performing Arts - PORTUGAL & King's College - UNITED KINGDOM)
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
Temporal structure in music and architecture: a comparative analysis Daniel Moreira
Luís Ribeiro da Silva

3FMA

48
Daniel Svitak ( - & Academy of Arts Architecture and Design - CZECH REPUBLIC)
Tectonics of differential growth. Folds in additive fabrication and moulding for architectural design. Daniel Svitak
Imrich Vaško
Petra Sochurkova
Shota Tsikoliya

5FMA

13

29
Daniel Veludo (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
Darlene julio
Parametric Software and the Architectural Design Bruno Marques
Darlene julio

7FMA

123

232
X
Dave De Jonge ( - Spain)
Space Syntax as an agent based system. NEtlogo framework proposal. Ana Cocho Bermejo
Dave De Jonge

7FMA

44

136
X
David Leite Viana (ESAP-students - PORTUGAL & ISCTE - IUL - PORTUGAL & Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon - PORTUGAL & ISCTE-University Institute of Lisbon - PORTUGAL & - & Nottingham Trent University - UNITED KINGDOM & - Portugal)
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 new pedestrian bridge between Vila Nova de Cerveira and Goiàn David Leite Viana
Isabel Cristina Carvalho

3FMA

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

3FMA

33

29
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
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
Espaço e lógica [in]formal David Leite Viana
1FMA
X X X X
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
Formal Methods in Architectura: Preface David Leite Viana
Franklim Morais
Jorge Vieira Vaz
Sara Eloy

5FMA

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

4FMA

48
Global and Disciplinary Frameworks for Formal Methods in Architecture David Leite Viana
Franklim Morais
Jorge Vieira Vaz

5FMA

xv
Hibridismo e auto-organização David Leite Viana
2FMA
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
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
David Patiño Álvarez (Gallecia Higher School - PORTUGAL)
Industrial heartbeat of O Poriño David Patiño Álvarez
3FMA

46
David Pereira-Martínez ( - & University of A Coruña - SPAIN & - Spain)
Non-intrusive semi-automated modelling of ordinary buildings’ intermediate floors: Collective housing in Porto, Portugal David Pereira-Martínez
Gisela Lameira
Isabel Raposo
Plácido Lizancos
Virgílio Borges Pereira

5FMA

25

207
Demircan Tas (Institute of Science and Technology, 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
DIEGO ALTAFINII ( - United Kingdom)
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
Djordje Djordjevic ( - 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
Djordje Mitrovic ( - 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
Dries Daems ( - Netherlands)
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
Dušan Katunský (Kosice University - SLOVAKIA)
Experimental Form-finding; Case Study: “Weather Pavilion” Dušan Katunský
Lenka Kabošová
Martin Baroš
Tomáš Baroš

6FMA

42

269
Efrosini Charalambous ( - Cyprus)
On the experience of architectural spaces: A pedagogical experiment using game engines Efrosini Charalambous
7FMA

69

678
X
Egemen Berker Kizilcan ( - & Middle East Technical University - TURKYIE)
Collaboration of Visual Intelligence between Human and Machinic Actors in Design Processes Egemen Berker Kizilcan
5FMA

31

305
Ekin Ünlü ( - & - & - Turkyie & Istanbul Technical University - TURKYIE)
Design to Experiment, Experiment to Design: Tool-user,Tool-breaker,Tool-designer Ekin Ünlü
Sema Alaçan

5FMA

14

19
Elena Arnedo Calvo (Polytechnic University of Madrid - SPAIN)
Regular Repetition and Modular Patterns in Architecture Elena Arnedo Calvo
3FMA

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

3FMA

37

289
X
Elif Erdine (Architectural Association School of Architecture - UNITED KINGDOM)
processing & grasshopper & agent based design Alexandros Kallegias
Elif Erdine

3WS
Rethinking Conceptual Design: Methods for the simultaneous integration and evaluation of Tower Subsystems Elif Erdine
3FMA

55
Elisa Pozo Menèndez (Polytechnic University of Madrid - SPAIN)
City sciences workflows Elisa Pozo Menèndez
4WS
Emílio Bier (Federal University of Rio Grande do Sul - BRAZIL)
Four-dimensional objects, Cellular Automata and Virtual Reality – The Hypercocoon project Emílio Bier
Isadora Tebaldi
Nicolle Prado
Victor Sardenberg

4FMA

49

333
Ernesto Bueno (Positivo University - BRAZIL)
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
Esther Gramsbergen (Delft University of Technology - NETHERLANDS)
Architecture and the City Esther Gramsbergen
Nicola Marzot
Olindo Caso
Roberto Cavallo
Susanne Komossa

4FMA

273
Etienne Godimus (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
Fabiano Lemes Ribeiro ( - 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
Fábio Costa ( - & Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon - PORTUGAL)
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
Filipa Crespo Osório (Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon - PORTUGAL & - )
Nature Pleated Surfaces Filipa Crespo Osório
Maria João de Oliveira

5FMA

20

101
Filipa Peres Crespo Osório
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
Filipe Afonso (Arquitectos Anónimos - PORTUGAL)
(in)formal state of mind Filipe Afonso
Vasco Magalhães

2FMA
X X
Filipe Brandão (Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon - PORTUGAL)
Cork Re-Wall Filipe Brandão
3FMA

40

359
X
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
Spatial Analysis in GIS Environment: locational attractiveness assessment of the retail trade Alexandra Paio
Filipe Brandão
Ricardo Mendes Correia

4FMA

47

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

4FMA

61
Francisco Scotti ( - Portugal)
Exploring Photogrammetry’s Creative Potential in Nature Driven Architecture Design Francisco Scotti
Pedro de Azambuja Varela

7FMA

92

543
X
Francisco Serdoura (Research Centre for Architecture, Urbanism and Design, Lisbon School of Architecture, University of Lisbon - PORTUGAL & - & - Portugal)
Public Space Use: an Approach to Livability in Urmia Bazaar, Iran Francisco Serdoura
Momen Foadmarashi

5FMA

24

231
Franklim Morais (Concinnitas CRL - PORTUGAL & - & - Portugal & Porto Arts Higher School - 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
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 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
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
Formal Methods in Architectura: Preface David Leite Viana
Franklim Morais
Jorge Vieira Vaz
Sara Eloy

5FMA

v
Formalizar para quê? Franklim Morais
2FMA
Global and Disciplinary Frameworks for Formal Methods in Architecture David Leite Viana
Franklim Morais
Jorge Vieira Vaz

5FMA

xv
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
Introduction: Formal Methods in Architecture and Urbanism David Leite Viana
Franklim Morais
Jorge Vieira Vaz

3FMA

1
Métodos formais em estruturas – alguns ensinamentos históricos Franklim Morais
1FMA
X X X
Métodos formais em fase de utilização – espaços e edifícios inteligentes Franklim Morais
1FMA
X X X
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
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
The role of AI in the future of society, the city, construction and architecture Franklim Morais
7FMA

28

9
X
FREDERICO MIGUEL DE LOUREIRO I DA SILVEIRA (ESAP-students - PORTUGAL & Porto Arts Higher School - PORTUGAL)
Menarch, ontologies in Architecture: a study on Architecture social function FREDERICO MIGUEL DE LOUREIRO I DA SILVEIRA
3FMA

29

45
X
Frederico Muñoz (IBM Portugal - PORTUGAL)
Cidades Inteligentes: tecnologia, comunidade e espaço urbano Frederico Muñoz
2FMA
Giacomo Pala (Institute of Urban Design, University of Innsbruck - AUSTRIA)
RE:9²GRID, Fragmented parts and Unified whole. Giacomo Pala
4FMA

36

435
Giorgos Kalaouzis (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
Gisela Lameira ( - & Faculty of Architecture, University of Porto - PORTUGAL & - Portugal)
Non-intrusive semi-automated modelling of ordinary buildings’ intermediate floors: Collective housing in Porto, Portugal David Pereira-Martínez
Gisela Lameira
Isabel Raposo
Plácido Lizancos
Virgílio Borges Pereira

5FMA

25

207
Giuseppe Massafra ( - Italy)
ReLighting Spaces -Training daylight access cognition in combinatorial spatial assemblages using Reinforcement Learning Alessio Erioli
Giuseppe Massafra

7FMA

105

370
X
Gonçalo Castro Henriques (Laboratory of 3d Models and Digital Fabrication, Federal University of Rio de Janeiro - BRAZIL & - Brazil)
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
In-formation: shaping tools, composition rules, visual thinking and the creative processes Gonçalo Castro Henriques
Marcio Nisenbaum
Tatiana Teixeira

7FMA

125

651
X
Métodos digitais na academia, investigação e projecto Gonçalo Castro Henriques
2FMA
PONTE PARAMÉTRICA - IV Workshop de processos digitais de projecto Gonçalo Castro Henriques
José Pedro Sousa

1WS
Tecnologias digitais em arquitectura (CAD – CAE – CAM): o projecto TetraScript Gonçalo Castro Henriques
1FMA
X X
Gonçalo Louro (GLCS - Arquitectos Lda. - PORTUGAL & Porto Arts Higher School - PORTUGAL)
Arquitectura de contornos técnicos Gonçalo Louro
1FMA
X X X
Teatros – formas reabilitadas Gonçalo Louro
2FMA
Gregorio Saura-Lorente (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
Guilherme Marques ( - 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
Guillermo Varela (Gallecia Higher School - PORTUGAL)
From patterns to parameters Guillermo Varela
3FMA

43
Gulen Cagdas ( - Turkyie & Istanbul Technical University - TURKYIE)
Automated Two-Story Floor Plan Generation using Generative Adversarial Networks Berfin Yildiz
Gulen Cagdas
Ibrahim Zincir

7FMA

82

410
X
Heather Ligler ( - United States of America)
Kahn’s Two Houses: From Formal Analysis to Animated Synthesis Heather Ligler
7FMA

118

634
X
Hélia Aluai Sampaio (ESAP-students - PORTUGAL & Porto Arts Higher School - PORTUGAL)
synopsis and critique of ´Kinetic digitally driven architecture´ from Sokratis Yiannoudes Hélia Aluai Sampaio
2FMA-S
X
HOWARD DAVIS ( - United States of America)
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
Hugo Paquete (Porto Arts Higher School - PORTUGAL)
Unpredictable System Hugo Paquete
3P
Ibrahim Zincir ( - Turkyie)
Automated Two-Story Floor Plan Generation using Generative Adversarial Networks Berfin Yildiz
Gulen Cagdas
Ibrahim Zincir

7FMA

82

410
X
Immanuel Koh ( - Singapore & Singapore University of Technology and Design - SINGAPORE)
Associative Synthesis with Deep Neural Networks for Architectural Design Immanuel Koh
6FMA

18

307
Neuroaesthetic Measures of High-Rise Housing Facades Audrey Xu
Immanuel Koh

7FMA

117

612
X
Imrich Vaško ( - & Academy of Arts Architecture and Design - CZECH REPUBLIC)
Tectonics of differential growth. Folds in additive fabrication and moulding for architectural design. Daniel Svitak
Imrich Vaško
Petra Sochurkova
Shota Tsikoliya

5FMA

13

29
Inês Caetano ( - & 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
Reassembling Waste: Towards a Carbon Zero Built Environment Inês Caetano
Luis Santos

7FMA

107

261
X
Ioanna Symeonidou ( - Greece & Department of Architecture, University of Thessaly - GREECE)
Massing and skin: A pedagogical experiment with physical and digital design media Alexandros Efstathiadis
Giorgos Kalaouzis
Ioanna Symeonidou

6FMA

30

375
Isa Joana Teixeira (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
Isabel Cristina Carvalho ( - & - & Concinnitas CRL - PORTUGAL & Arts and Communication Research Centre, Algarve University - PORTUGAL)
A new pedestrian bridge between Vila Nova de Cerveira and Goiàn David Leite Viana
Isabel Cristina Carvalho

3FMA

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

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

4FMA

48
Locative Media Art in Urban Space´s Analysis Isabel Cristina Carvalho
3FMA

185
Média – arte locativa e mapeamentos subjectivos na apreensão urbana Adérito Fernandes Marcos
Isabel Cristina Carvalho

2FMA
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
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
Isabel Raposo ( - & Lisbon School of Architecture, University of Lisbon - PORTUGAL)
Non-intrusive semi-automated modelling of ordinary buildings’ intermediate floors: Collective housing in Porto, Portugal David Pereira-Martínez
Gisela Lameira
Isabel Raposo
Plácido Lizancos
Virgílio Borges Pereira

5FMA

25

207
Isadora Tebaldi (IAM, 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
Ítalo Guedes (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
Jaime Cunha ( - Portugal)
Integrating Additive Manufacturing with BIM: A Case Study in Sustainable Architecture and Construction Bárbara Rangel
Jaime Cunha

7FMA

90

561
X
Janet Hetman (CRENAU AMBIANCES ARCHITECTURES URBANITÉS - FRANCE & Department of Architecture, Roma Tre University - ITALY)
Complex Buildings and Cellular Automata. A cellular automaton model for the Centquatre-Paris. Janet Hetman
Roberto d'Autilia

4FMA

45

357
Jarryer de Martino (Federal University of Espírito Santo - BRAZIL)
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
Jason Su ( - Canada)
Advancing Architectural Visualization: Boosting Scale and Reality with Augmented Reality Chul Min Yeum
Jason Su

7FMA

64

281
X
Javier Poyatos Sebastian (Polytechnic University of Valencia - SPAIN)
Form and meaning in architecture and urbanism: principles of quality Javier Poyatos Sebastian
4FMA

24

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

5FMA

32

287
Jielin Chen ( - 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
João Pedro Passos (Viana do Castelo City Council - PORTUGAL)
The Study of Neiva´s Valley Combining Space syntax and Geographical Information Systems João Pedro Passos
3FMA

75
João Pedro Xavier (FAUP - PORTUGAL & Faculty of Architecture, University of Porto - PORTUGAL & - Portugal)
Geometrias e Arquitecturas João Pedro Xavier
1FMA
João Quintão
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
João Ventura Lopes (ISCTE-University Institute of Lisbon - PORTUGAL)
A data mining based methodology for the multidimensional study of public open spaces João Ventura Lopes
3FMA

35

113
Linking data mining, spatial analysis and algorithmic design through python João Ventura Lopes
4WS
Linking data mining, spatial analysis and algorithmic design: a review on a primer workshop based on Python João Ventura Lopes
4FMA

57
Joaquim Flores (Research Laboratory in Architecture and Design, Porto Higher Art School - PORTUGAL & - Portugal)
Geographic Information Systems (GIS) in Architecture and Urbanism Education Joaquim Flores
7FMA

71

665
X
quantumGIS & space syntax Ana Cláudia Teodoro
Joaquim Flores
José Alberto Gonçalves

3WS
Johan van der Zwart (Norwegian University of Science and Technology, Faculty of Architecture & Fine Arts, Department of Architectural Design & Management - NORWAY)
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
Jorge Vieira Vaz ( - & - Portugal & Porto Arts Higher School - PORTUGAL & Research Laboratory in Architecture and Design, Porto Higher Art School - PORTUGAL)
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
BIM / VDC - Building Information Modeling / Virtual Design to Construction Jorge Vieira Vaz
1FMA
X
BIM ontologies Antón Castro
David Leite Viana
Jorge Vieira Vaz

3FMA

33

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

5FMA

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

4FMA

48
Global and Disciplinary Frameworks for Formal Methods in Architecture David Leite Viana
Franklim Morais
Jorge Vieira Vaz

5FMA

xv
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
Introduction: Formal Methods in Architecture and Urbanism David Leite Viana
Franklim Morais
Jorge Vieira Vaz

3FMA

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
José Alberto Gonçalves (Faculty of Sciences, University of Porto - PORTUGAL)
quantumGIS & space syntax Ana Cláudia Teodoro
Joaquim Flores
José Alberto Gonçalves

3WS
José Cadilhe (Architectural Association School of Architecture - UNITED KINGDOM)
parametric CAD & grasshopper & CAM José Cadilhe
3WS
Proto Design: interacções sistémicas José Cadilhe
1FMA
X
José Luis Azevedo (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
José Luís Guimarães (Porto Arts Higher School - PORTUGAL)
Arquitectura Experimental - linguagem e reflexões José Luís Guimarães
2FMA
José Nuno Beirão (CIAUD-FAUL - PORTUGAL & Lisbon School of Architecture, University of Lisbon - PORTUGAL & - Portugal)
All bottles from one design semantics in design generation using ontologies to control shape generation José Nuno Beirão
Rui de Klerk

4FMA

40
City Information Modeling – o CIM em CItyMaker: análise, síntese e avaliação em projecto urbano José Nuno Beirão
2FMA
X
Evaluating urbanity by measuring urban morphology attributes José Nuno Beirão
Samira Elias

6FMA

32

219
Parametric Urban design: ferramentas para projecto urbano José Nuno Beirão
1FMA
X X
Semantic structure of formal domains and methods for the development of generic grammars José Nuno Beirão
3FMA

42

245
Urban challenges: from regions to streets José Nuno Beirão
4FMA

25
José Pedro Sousa (Faculty of Architecture, University of Porto - PORTUGAL)
Da estandartização à personalização (digital) José Pedro Sousa
1FMA
X X
PONTE PARAMÉTRICA - IV Workshop de processos digitais de projecto Gonçalo Castro Henriques
José Pedro Sousa

1WS
José Pinto Duarte ( - United States of America & The Pennsylvania State University - UNITED STATES of AMERICA)
A compositional schema for the automated generation of best connected rectangular floor plans José Pinto Duarte
Krishnendra Shekawat

3FMA

44

259
X
Additive Construction on Earth and beyond: from research to practical applications José Pinto Duarte
7FMA

19
X
Alberti Digital: do tratado à materialização física José Pinto Duarte
2FMA
Inserting new technologies in architectural curricula: from research to practice, and to teaching José Pinto Duarte
3FMA

51
Personalização em série: modelos e algoritmos José Pinto Duarte
1FMA
X X
shape grammars in architectural urban design Andrew I-kang Li
José Pinto Duarte

3WS
Static and Dynamic Optimization: from concrete printing to responsive facade José Pinto Duarte
6FMA

27
The Ethics of our Work José Pinto Duarte
5FMA

6

xi
José Semide (Porto Arts Higher School - PORTUGAL)
Geometrias na prática da Arquitectura José Semide
1FMA
X X X
JOSEP MUNTAÑOLA ( - Spain & Universidad de Catalunya - 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
The Formalization of Architecture as a Social Dialogical Tool: an Introduction to Innovative Theoretical Frames in Architectural Design JOSEP MUNTAÑOLA
Regina Garcia

6FMA

26

3
June-Hao Hou (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

a meeting place between academia and architecture professionals

MENU --> 7th 8th