FMA SYMPOSIA series (2011-2024)
Formal Methods in Architecture
FMA SYMPOSIA series (2011-2024)
Formal Methods in Architecture
DESCRIPTION
CONTACTS
PAST SYMPOSIA
6th Symposium
A CORUÑA 2022
2022-05-24 / 2022-05-27
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 |
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 |