FMA SYMPOSIA series (2011-2024)

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

7th SYMPOSIUM 2024

ORGANIZATION
PARTICIPANTS
PROGRAMME
Skip Navigation LinksHOME > PAST SYMPOSIA > 6th Symposium (2022) > Records (tip)

RECORDS

BOOK of ABSTRACTS

Publisher: Servizo de Publicacións, Universidade da Coruña
colection: CCS_153
legal deposit: C 795_2022
DOI: 10.17979/spudc.000006
Pages: 43

Editors:

David Leite Viana
Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon
Franklim Morais
Research Laboratory in Architecture and Design, Porto Arts Higher School
Jorge Vieira Vaz
Research Laboratory in Architecture and Design, Porto Higher Art School
Placido Lizancos-Mora
ETSAC Escola Técnica Superior de Arquitectura - UDC Universidade da Coruña

Graphic Designer:

Vicente López-Chao
ETSAC Escola Técnica Superior de Arquitectura - UDC Universidade da Coruña

Page Title Authors
13 BIMActors: A hybrid formal model for cognitive buildings P Govind Raj
Subrat Kar
14 BIM METHODOLOGY INTEGRATION IN THE MAINTENANCE AND REHABILITATION OF HERITAGE AND HISTORICAL BUILDINGS Patrick Loureiro
Rui Seabra
15 A data workflow approach for a pedagogical sensitization to the BIM concept Etienne Godimus
Gregorio Saura-Lorente
Mohamed-Anis Gallas
16 the art of creating data structures through aggregation and decomposition - the inner dynamics of computational geometry and spatial morphology Tasos Varoudis
17 Research, Diffusion and Transfer in Architecture - the European Context Pilar Chias-Navarro
18 Associative Synthesis with Deep Neural Networks for Architectural Design Immanuel Koh
19 Behind algorithmic geometric patterns: a framework for facade design exploration António Menezes Leitão
Inês Caetano
20 Formal Studies on the Parts and Wholes of Historical Bricklay Designs Mine Özkar
Sevgi Altun
21 Generation of a Large Synthetic Database of Office Tower´s Energy Demand Using Simulation Ammar Alammar
Wassim Jabi
22 Strategies of Learning and control of robotic manufacturing methods in architecture António Francisco Morais
Bruno Figueiredo
Paulo J. S. Cruz
23 Integrating formal methodologies in a multilayered analysis for public space management policies Catarina Ruivo
Franklim Morais
Jorge Vieira Vaz
24 Plausible Layout Generation Using Machine Learning, Evolutionary Optimisation and Parametric Methods Daiva Marcinkeviviute
Wassim Jabi
25 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
26 The Formalization of Architecture as a Social Dialogical Tool: an Introduction to Innovative Theoretical Frames in Architectural Design JOSEP MUNTAÑOLA
Regina Garcia
27 Static and Dynamic Optimization: from concrete printing to responsive facade José Pinto Duarte
28 Restructuring urban form through the redistribution of connectivity: an integrated urban network approach CHEN YANG
Zu Qian
29 Teaching architecture through diagrams and algorithms Luis Manuel Santalla-Blanco
30 Massing and skin: A pedagogical experiment with physical and digital design media Adélio R. Gaspar
Alexandros Efstathiadis
Giorgos Kalaouzis
31 An experience around the rationalization of architectural analysis. Plácido Lizancos
Vicente López Chao
32 Evaluating urbanity by measuring urban morphology attributes JOSÉ NUNO BEIRÃO
Samira Elias
33 Formalizing municipal urban planning David Leite Viana
34 Changing methods in teaching for strengthening the relation between research and practice Cláudia Monteiro
Vítor Oliveira
35 VISSOP: A Tool for Visibility Analysis within SideFx Houdini Christoph Opperer
36 Teaching Urbanism with Sudoku Rui Florentino
37 The Architectonics of Form: Intelligibility of Space and Form in Space-Time Sophia Psarra
38 Applying a morphological approach to Istanbul’s urban landscape Muzaffer Ali Yaygin
Vítor Oliveira
39 EXAMINING THE DIFFUSION OF COVID-19 CASES IN VIÇOSA-MG: A CONFIGURATIONAL APPROACH Arthur Oliveira
David Leite Viana
Marine Mattos
Teresa Faria
40 Encoding social values of local communities in algorithmic-driven design methods Miguel Vidal Calvet
Neil Spencer
Silvio Carta
Tuschi Tommaso
41 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 HEITOR
42 Experimental Form-finding; Case Study: “Weather Pavilion” Dušan Katunský
Lenka Kabošová
Martin Baroš
Tomáš Baroš
43 Local spatial analysis for two exhibition halls in Mexico City. Mariana Yollohtzin Tafoya García
8 The red carpet Carlos Seoane

BOOK of PROCEEDINGS

Publisher: Springer Nature Switzerland
ISBN-10: 981-99-2216-X
ISBN-13: 978-981-99-2216-1
Pages: 532

Editors:

David Leite Viana
Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon
Franklim Morais
Porto Arts Higher School
Jorge Vieira Vaz
Research Laboratory in Architecture and Design, Porto Higher Art School
Plácido Lizancos-Mora
ETSAC Escola Técnica Superior de Arquitectura - UDC Universidade da Coruña

Page Title Authors
0 A data workflow approach for a pedagogical sensitization to the BIM concept Etienne Godimus
Gregorio Saura-Lorente
Mohamed-Anis Gallas
0 Behind algorithmic geometric patterns: a framework for facade design exploration António Menezes Leitão
Inês Caetano
0 Changing methods in teaching for strengthening the relation between research and practice Cláudia Monteiro
Vítor Oliveira
0 Experimental Form-finding; Case Study: “Weather Pavilion” Dušan Katunský
Lenka Kabošová
Martin Baroš
Tomáš Baroš
0 BIMActors: A hybrid formal model for cognitive buildings P Govind Raj
Subrat Kar
0 Generation of a Large Synthetic Database of Office Tower´s Energy Demand Using Simulation Ammar Alammar
Wassim Jabi
0 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
0 Integrating formal methodologies in a multilayered analysis for public space management policies Catarina Ruivo
Franklim Morais
Jorge Vieira Vaz
0 Encoding social values of local communities in algorithmic-driven design methods Miguel Vidal Calvet
Neil Spencer
Silvio Carta
Tuschi Tommaso
0 Local spatial analysis for two exhibition halls in Mexico City. Mariana Yollohtzin Tafoya García
0 Associative Synthesis with Deep Neural Networks for Architectural Design Immanuel Koh
0 VISSOP: A Tool for Visibility Analysis within SideFx Houdini Christoph Opperer
0 Applying a morphological approach to Istanbul’s urban landscape Muzaffer Ali Yaygin
Vítor Oliveira
0 Formal Studies on the Parts and Wholes of Historical Bricklay Designs Mine Özkar
Sevgi Altun
0 Some Controversies around Formalization in Architecture Catarina Ruivo
David Leite Viana
Franklim Morais
Jorge Vieira Vaz
Plácido Lizancos
Vicente López Chao
0 Plausible Layout Generation Using Machine Learning, Evolutionary Optimisation and Parametric Methods Daiva Marcinkeviviute
Wassim Jabi
0 Strategies of Learning and control of robotic manufacturing methods in architecture António Francisco Morais
Bruno Figueiredo
Paulo J. S. Cruz
0 Teaching architecture through diagrams and algorithms Luis Manuel Santalla-Blanco
0 Massing and skin: A pedagogical experiment with physical and digital design media Adélio R. Gaspar
Alexandros Efstathiadis
Giorgos Kalaouzis
0 Evaluating urbanity by measuring urban morphology attributes JOSÉ NUNO BEIRÃO
Samira Elias
0 An experience around the rationalization of architectural analysis. Plácido Lizancos
Vicente López Chao
0 Restructuring urban form through the redistribution of connectivity: an integrated urban network approach CHEN YANG
Zu Qian
0 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 HEITOR
0 Space Syntax as a Distributed Artificial Intelligence System: a Famework for a Multi-Agent System Development Ana Cocho Bermejo
0 The Formalization of Architecture as a Social Dialogical Tool: an Introduction to Innovative Theoretical Frames in Architectural Design JOSEP MUNTAÑOLA
Regina Garcia
0 The Architectonics of Form: Intelligibility of Space and Form in Space-Time Sophia Psarra
0 Research, Diffusion and Transfer in Architecture - the European Context Pilar Chias-Navarro
0 EXAMINING THE DIFFUSION OF COVID-19 CASES IN VIÇOSA-MG: A CONFIGURATIONAL APPROACH Arthur Oliveira
David Leite Viana
Marine Mattos
Teresa Faria

MOVIES

YouTube Title Authors
A data workflow approach for a pedagogical sensitization to the BIM concept Etienne Godimus
Gregorio Saura-Lorente
Mohamed-Anis Gallas
BIM METHODOLOGY INTEGRATION IN THE MAINTENANCE AND REHABILITATION OF HERITAGE AND HISTORICAL BUILDINGS Patrick Loureiro
Rui Seabra
BIMActors: A hybrid formal model for cognitive buildings P Govind Raj
Subrat Kar

a meeting place between academia and architecture professionals

MENU -->