FMA SYMPOSIA series (2011-2022)

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)
PROCEEDINGS
by Author by Title

6th SYMPOSIUM 2022

ORGANIZATION
Chairs Scientific Committee Organizing Committee Secretariat
PARTICIPANTS
Important dates Call for Papers Call for Workshops Registration and fees Agreements Diplomas Technical means Languages Record Policies VENUES
PROGRAMME
Conference Keynote speakers Workshops Programme Exhibition Fair Social Programme
Skip Navigation LinksHOME > PROCEEDINGS > by Title (tip)
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 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 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
Agent-based Semiology: Optimizing Office Occupation Patterns With Agent-based Simulations Robert Neumayr
5FMA

11

49
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 integrated approach to urban form Vítor Oliveira
3FMA

45
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
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 ontologies Antón Castro
David Leite Viana
Jorge Vieira Vaz

3FMA

33

29
X
BIM: Costumizing the Standards Alexandros Kallegias
3FMA

56

19
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
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
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
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
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
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
Condicionamentos formais do projecto Sérgio Mendes
2FMA
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
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
Espaço e lógica [in]formal David Leite Viana
1FMA
X X X 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 social housing municipal management Catarina Ruivo
David Leite Viana
Isabel Cristina Carvalho
Jorge Vieira Vaz
Sara Eloy

4FMA

48
Formalizar para quê? Franklim Morais
2FMA
Four-dimensional objects, Cellular Automata and Virtual Reality – The Hypercocoon project Emílio Bier
Isadora Tebaldi
Nicolle Prado
Victor Sardenberg

4FMA

49

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

4FMA

33

303
Generative Biomorphism Ricardo Massena Gago
4FMA

35

317
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
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
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
L´Objet Invalide Aniruddha Mukherjee
5FMA

10

75
LBD server: Visualising Building Ontologies in web-based environments using glTF-models Andrew Malcolm
Jeroen Werbrouck
Pieter Pauwels

5FMA

32

287
Linguagem, forma, função – funções da formalização Ricardo Ruivo
2FMA
Linguagem, Mensagem, Matéria Ricardo Ruivo
1FMA
X X
linguagens formais e epistemologia das ciências Rogério Ventura Reis
1FMA
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
Locative Media Art in Urban Space´s Analysis Isabel Cristina Carvalho
3FMA

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

55

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

5FMA

8

3
Measuring Urban Renewal: a dual kernel density estimation to assess the intensity of building renovation
4FMA

32

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

2FMA
Menarch, ontologies in Architecture: a study on Architecture social function Frederico Silveira
3FMA

29

45
X
Métodos digitais na academia, investigação e projecto Gonçalo Castro Henriques
2FMA
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
Metropolitan spatial anatomies: decoding the morphological structure of the city-region Miguel Serra
3FMA

32
Morpho, um método de análise e desenho da forma urbana Vítor Oliveira
2FMA
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
Nature Pleated Surfaces Filipa Crespo Osório
Maria João de Oliveira

5FMA

20

101
New territories of CAM: Machinecraft Cristina Nan
3FMA

54

339
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
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
Ontologies: technologies for domain modelling, knowledge re-purposing and knowledge sharing Cristina Ribeiro
3FMA

28
X
Padrões: uma modelização para planeamento Nuno Montenegro
1FMA
X X
Para onde vai a formalização em arquitectura?
1FMA
parametric CAD & grasshopper & CAM José Cadilhe
3WS
Parametric Urban design: ferramentas para projecto urbano José Nuno Beirão
1FMA
X X
Partitioning indoor space using visibility graphs: Investigating user behaviour in office spaces Kerstin Sailer
Petros Koutsolampros
Tasos Varoudis

4FMA

44

219
Personalização em série: modelos e algoritmos José Pinto Duarte
1FMA
X X
PONTE PARAMÉTRICA - IV Workshop de processos digitais de projecto Gonçalo Castro Henriques
José Pedro Sousa

1WS
Potentiality analysis for urban planning Patrick Janssen
Rudi Stouffs
Ye Zhang

4FMA

30

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

3WS
Proto Design: interacções sistémicas José Cadilhe
1FMA
X
Public Space Use: an Approach to Livability in Urmia Bazaar, Iran Francisco Serdoura
Momen Foadmarashi

5FMA

24

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

3WS
RE:9²GRID, Fragmented parts and Unified whole. Giacomo Pala
4FMA

36

435
Reconstructing photogrammetric 3D model by using deep learning Chi-Li Cheng
June-Hao Hou

5FMA

29

295
Regular Repetition and Modular Patterns in Architecture Elena Arnedo Calvo
3FMA

237
Relative positioning Mike Mckay
3FMA

27

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

55
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
Self-learning Agents for Spatial Synthesis Pedro Veloso
Ramesh Krishnamurti

5FMA

35

265
Semantic structure of formal domains and methods for the development of generic grammars José Nuno Beirão
3FMA

42

245
sessão de abertura (2FMA)
2FMA
shape grammars in architectural urban design Andrew I-kang Li
José Pinto Duarte

3WS
Shapes and attributes Rudi Stouffs
4FMA

34

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

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

22

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

4FMA

47

47
Spectral Clustering and Integration - The inner dynamics of computational geometry and spatial morphology Alan Penn
Tasos Varoudis

5FMA

34

243
speech from Ramzi Hassan Ramzi Hassan
5FMA

6
SUPERGRID – A Grammar for a Kit-of-Parts Pedagogy Pedro Engel
4FMA

41

411
synopsis and critique of ´A estrutura ausente´ from Umberto Eco Alberto Pinto
2FMA-S
X
synopsis and critique of ´Geometry, algorithm, pattern´, from Cecil Balmond Cristina Paixão
2FMA-S
X X
synopsis and critique of ´Kinetic digitally driven architecture´ from Sokratis Yiannoudes Hélia Aluai Sampaio
2FMA-S
X
synopsis and critique of ´Lattice archipelogics´ from Marcelyn Gow, David Erdman, Chris Perry Carlos Oliveira
2FMA-S
synopsis and critique of ´Metapolis´, from Ascher Alice Silva
Isa Joana Teixeira
José Luis Azevedo
Maria Angélica Carvalho

2FMA-S
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
synopsis and critique of ´The Architecture of Form´ from Lionel March Renato Fernandes
2FMA-S
X
Teatros – formas reabilitadas Gonçalo Louro
2FMA
Tecnologias digitais em arquitectura (CAD – CAE – CAM): o projecto TetraScript Gonçalo Castro Henriques
1FMA
X X
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
Temporal structure in music and architecture: a comparative analysis Daniel Moreira
Luís Ribeiro da Silva

3FMA

48
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 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
The Ethics of our Work José Pinto Duarte
5FMA

6

xi
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
The revision of the Master Plan of the University of Aveiro: a heterogeneous planning management Sérgio Mendes
3FMA

25

307
X
The social aspect of digital fabrication Alexandra Paio
Raquel Martins

3FMA

39
The space between the formal and the informal city alongside the River Maranguapinho Camila Santana
Ugo Santana

4FMA

54

101
The Study of Neiva´s Valley Combining Space syntax and Geographical Information Systems João Pedro Passos
3FMA

75
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
Topologic: Exploring spatial reasoning through geometry, topology, and semantics Aikaterini Chatzivasileiadi
Wassim Jabi

5FMA

30

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

4FMA

61
Typological Process in Morphological Analysis of Territories of Extensive Urbanization at the Lima River Valley Paulo Vieira
3FMA

57
Typological transformations in a same shape Ana Costa
Eliane Constantinou
Teresa Leite

3FMA

37

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

28

221
Unpredictable System Hugo Paquete
3P
Upgrading Participation through Computational Thinking in Architecture Canan Albayrak Colaço
Zeynep Mennan

5FMA

16

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

25
Urban forms of informality: decoloniality as a perspective for morphological studies Silvia Spolaor
Vítor Oliveira

5FMA

27

197
Urban morphology: teaching different approaches Vítor Oliveira
4FMA

26
Urban Segregation and Socio-Spatial Interactions: a configurational approach Ana Luísa Maffini
Clarice Maraschin

4FMA

51

63
Urbanismo fora de controlo Mauro Costa Couceiro
2FMA
Variational Beauty of Space. Machine Intuition and Urban Networks Tasos Varoudis
5FMA

6

xii
What about if buildings respond to my mood? Ana Almeida
Luísa Almeida
Sara Eloy

5FMA

15

123
What if architecture could change the world?
4FMA

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

4FMA

38

451
without title António Barbosa
1FMA
X
Z-Tolerance: Three dimensional abstract representations of the migration issues in Europe Canan Albayrak Colaço
Rui Colaço

4FMA

50

343

a meeting place between academia and architecture professionals

MENU -->