FMA SYMPOSIA series (2011-2024)
Formal Methods in Architecture
FMA SYMPOSIA series (2011-2024)
Formal Methods in Architecture
DESCRIPTION
CONTACTS
PAST SYMPOSIA
3rd Symposium
PORTO 2015
2015-11-30 / 2015-12-02
The 3rd Symposium "Formal Methods in Architecture" was an initiative of the following departments of ESAP / Escola Superior Artística do Porto (Arts University School of Oporto):
ESAP
ESAP / Escola Superior Artística do Porto
(Arts University School of Oporto)
LIAD
Laboratório de Investigação em Arquitectura e Design
(Laboratory for Architecture and Design Research)
DA
Departamento de Arquitetura
(Architecture Department)
MIA
Mestrado Integrado em Arquitetura
(Integrated Master Degree in Architecture)
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
Catarina Ruivo
Research Centre for Architecture, Urbanism and Design, Lisbon School of Architecture, University of Lisbon
Cristina Martins Paixão
Concinnitas CRL
Joaquim Flores
Research Laboratory in Architecture and Design, Porto Higher Art School
Mafalda Malheiro
Porto Arts Higher School
Sérgio Mendes
Research Laboratory in Architecture and Design, Porto Higher Art School
José Pinto Duarte
The Pennsylvania State University
Michael Weinstock
Architectural Association School of Architecture
Michele Cannatá
Research Laboratory in Architecture and Design, Porto Higher Art School
Paolo Marcolin
Research Laboratory in Architecture and Design, Porto Higher Art School
Susana Milão
Research Laboratory in Architecture and Design, Porto Higher Art School
Tasos Varoudis
Space Syntax Laboratory, Bartlett School of the Built Environment, University College London
José Pinto Duarte
The Pennsylvania State University
Tasos Varoudis
Space Syntax Laboratory, Bartlett School of the Built Environment, University College London
David Leite Viana
Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon
Franklim Morais
Porto Arts Higher School
Joaquim Flores
Research Laboratory in Architecture and Design, Porto Higher Art School
Jorge Vieira Vaz
Research Laboratory in Architecture and Design, Porto Higher Art School
Paolo Marcolin
Research Laboratory in Architecture and Design, Porto Higher Art School
Sérgio Mendes
Research Laboratory in Architecture and Design, Porto Higher Art School
Susana Milão
Research Laboratory in Architecture and Design, Porto Higher Art School
shape grammars in architectural urban design
Andrew I-kang Li
Kyoto Institute of Technology
José Pinto Duarte
The Pennsylvania State University
processing & grasshopper & agent based design
Alexandros Kallegias
Bartlett School of the Built Environment, University College London
Elif Erdine
Architectural Association School of Architecture
quantumGIS & space syntax
Ana Cláudia Teodoro
Faculty of Sciences, University of Porto
Joaquim Flores
Research Laboratory in Architecture and Design, Porto Higher Art School
José Alberto Gonçalves
Faculty of Sciences, University of Porto
space syntaxes 2D & 3D
Catarina Ruivo
Research Centre for Architecture, Urbanism and Design, Lisbon School of Architecture, University of Lisbon
Franklim Morais
Porto Arts Higher School
parametric CAD & grasshopper & CAM
José Cadilhe
Architectural Association School of Architecture
Publisher: CESAP (Cooperativa de Ensino Superior Artístico do Porto), Porto
Pages: 58
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
| Page | Title | Authors |
|---|---|---|
| 25 | The revision of the Master Plan of the University of Aveiro: a heterogeneous planning management | Sérgio Mendes |
| 26 | From scribbling to risking | Telmo Castro |
| 27 | Relative positioning | Mike Mckay |
| 28 | Ontologies: technologies for domain modelling, knowledge re-purposing and knowledge sharing | Cristina Ribeiro |
| 29 | Menarch, ontologies in Architecture: a study on Architecture social function | Frederico Silveira |
| 30 | Consequences of architectural form on social interaction: function as a basis for housing studies through expanded Space Syntax | Catarina Ruivo |
| 31 | Beyond the visual field: advances in thinking about and analysing space | Tasos Varoudis |
| 32 | Metropolitan spatial anatomies: decoding the morphological structure of the city-region | Miguel Serra |
| 33 | BIM ontologies | Antón Castro David Leite Viana Jorge Vieira Vaz |
| 34 | 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 |
| 35 | A data mining based methodology for the multidimensional study of public open spaces | João Ventura Lopes |
| 36 | Digital tiles | Luís Antunes |
| 37 | Typological transformations in a same shape | Ana Costa Eliane Constantinou Teresa Leite |
| 38 | A new pedestrian bridge between Vila Nova de Cerveira and Goiàn | David Leite Viana Isabel Cristina Carvalho |
| 39 | The social aspect of digital fabrication | Alexandra Paio Raquel Martins |
| 40 | Cork Re-Wall | Filipe Brandão |
| 41 | DepthSpace3D: a new digital tool for 3D Space Syntax analysis | Franklim Morais |
| 42 | Semantic structure of formal domains and methods for the development of generic grammars | José Nuno Beirão |
| 43 | From patterns to parameters | Guillermo Varela |
| 44 | A compositional schema for the automated generation of best connected rectangular floor plans | José Pinto Duarte Krishnendra Shekawat |
| 45 | An integrated approach to urban form | Vítor Oliveira |
| 46 | Industrial heartbeat of O Poriño | David Patiño Álvarez |
| 47 | A gathered methodology: towards enhancing adaptable learning spaces | Carolina Coelho |
| 48 | Temporal structure in music and architecture: a comparative analysis | Daniel Moreira Luís Ribeiro da Silva |
| 49 | Graphic user environment for agent based modelling and simulation | Tiago Gomes |
| 50 | 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 |
| 51 | Inserting new technologies in architectural curricula: from research to practice, and to teaching | José Pinto Duarte |
| 52 | Digital processes for collaborative answers in Architecture | Alexandra Paio |
| 53 | Innovation and tradition: crafts in digital age | Katarzyna Augustyniak Pedro Campos Cista |
| 54 | New territories of CAM: Machinecraft | Cristina Nan |
| 55 | Rethinking Conceptual Design: Methods for the simultaneous integration and evaluation of Tower Subsystems | Elif Erdine |
| 56 | BIM: Costumizing the Standards | Alexandros Kallegias |
Publisher: Cambridge Schollars Publishing, Newcastle
ISBN: 978-1-5275-0762-3
Pages: 397
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
| Page | Title | Authors |
|---|---|---|
| 1 | Introduction: Formal Methods in Architecture and Urbanism | David Leite Viana Franklim Morais Jorge Vieira Vaz |
| 11 | 3rd Symposium Formal Methods in Architecture: Opening Speech | Franklim Morais |
| 113 | A data mining based methodology for the multidimensional study of public open spaces | João Ventura Lopes |
| 131 | Consequences of architectural form on social interaction: function as a basis for housing studies through expanded Space Syntax | Catarina Ruivo |
| 155 | A gathered methodology: towards enhancing adaptable learning spaces | Carolina Coelho |
| 171 | Graphic user environment for agent based modelling and simulation | Tiago Gomes |
| 185 | Locative Media Art in Urban Space´s Analysis | Isabel Cristina Carvalho |
| 19 | BIM: Costumizing the Standards | Alexandros Kallegias |
| 197 | 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 |
| 215 | From scribbling to risking | Telmo Castro |
| 223 | 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 |
| 237 | Regular Repetition and Modular Patterns in Architecture | Elena Arnedo Calvo |
| 245 | Semantic structure of formal domains and methods for the development of generic grammars | José Nuno Beirão |
| 259 | A compositional schema for the automated generation of best connected rectangular floor plans | José Pinto Duarte Krishnendra Shekawat |
| 273 | Relative positioning | Mike Mckay |
| 289 | Typological transformations in a same shape | Ana Costa Eliane Constantinou Teresa Leite |
| 29 | BIM ontologies | Antón Castro David Leite Viana Jorge Vieira Vaz |
| 307 | The revision of the Master Plan of the University of Aveiro: a heterogeneous planning management | Sérgio Mendes |
| 339 | New territories of CAM: Machinecraft | Cristina Nan |
| 351 | Innovation and tradition: crafts in digital age | Katarzyna Augustyniak Pedro Campos Cista |
| 359 | Cork Re-Wall | Filipe Brandão |
| 45 | Menarch, ontologies in Architecture: a study on Architecture social function | Frederico Silveira |
| 57 | Typological Process in Morphological Analysis of Territories of Extensive Urbanization at the Lima River Valley | Paulo Vieira |
| 75 | The Study of Neiva´s Valley Combining Space syntax and Geographical Information Systems | João Pedro Passos |
| 91 | DepthSpace3D: a new digital tool for 3D Space Syntax analysis | Franklim Morais |
