Skip to main content
  • Conference proceedings
  • © 2023

Formal Methods in Architecture

Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022

  • Comprises select peer-reviewed proceedings of the conference 6FMA22

  • Enriches understanding by including contributions from leading experts across the globe

  • Covers latest advances especially in semantic organization of information and architectural design automation

Conference proceedings info: FMA 2022.

Buy it now

Buying options

eBook USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, access via your institution.

Table of contents (28 papers)

  1. Front Matter

    Pages i-xxviii
  2. Statements by the Keynote Speakers and the Chairs of the 6FMA

    1. Front Matter

      Pages 1-1
    2. Some Controversies Around Formalization in Architecture

      • Plácido Lizancos Mora, Catarina Ruivo, David Leite Viana, Franklim Morais, Jorge Vieira Vaz, Vicente López-Chao
      Pages 35-46
  3. Developments in Space Configuration, Accessibility and Visibility Analysis

    1. Front Matter

      Pages 47-47
    2. A Spatial Analysis Proposal for Activity Affordance in Exhibition Halls

      • Mariana Yollohtzin Tafoya García
      Pages 49-61
    3. VISSOP: A Tool for Visibility-Based Analysis

      • Christoph Opperer
      Pages 63-77
    4. Integrating Formal Methodologies in a Multi-Layered Analysis for Management Policies for the Pedestrian Use of Public Space

      • Catarina Ruivo, Franklim Morais, Joaquim Flores, Jorge Vieira Vaz
      Pages 115-143
    5. Examination of the Diffusion of COVID-19 Cases in Viçosa, Minas Gerais (Brazil): A Configurational Approach

      • Marine Luíza de Oliveira Mattos, Arthur Dornellas Oliveira, David Leite Viana, Teresa Cristina de Almeida Faria
      Pages 175-200
    6. Applying a Morphological Approach into Istanbul’s Urban Landscape

      • Muzaffer Ali Arat, Vitor Oliveira
      Pages 201-218
    7. Evaluating Urbanity by Measuring Urban Morphology Attributes

      • Samira Elias, José Nuno Beirão
      Pages 219-248
  4. Developments in Architectural Design Automation

    1. Front Matter

      Pages 249-249
    2. Experimental Form-Finding Method. Case Study: ‘Weather Pavilion’

      • Tomáš Baroš, Lenka Kabošová, Martin Baroš, Dušan Katunský
      Pages 269-286

Other Volumes

  1. Formal Methods in Architecture

About this book

This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022. The contents focus on the use of methodologies, especially those that have witnessed recent developments stemming from mathematical and computer sciences and are developed in a collaborative way with architecture and related fields. This book constitutes a contribution to the debate and to the introduction of new methodologies and tools in the mentioned fields that derive from the application of formal methods in the creation of new explicit languages for problem-solving in architecture and urbanism. Some of the themes in the book are CAD and BIM, mixed realities, photogrammetry and 3D scan, architectural design automation, urban and building performance analysis, SCAVA-space configuration, accessibility and visibility analysis. This book proves a valuable resource for those in academia and industry.


  • Semantic Organization of Information
  • Collection and Low-level Treatment of Information
  • Representation, Visualization and Interaction
  • Formal Theories and Analysis Methodologies
  • Computer Aided Production
  • Architectural Design Automation
  • 6FMA22

Editors and Affiliations

  • Campus da Zapateira, ETSAC-UDC, A Coruña, Spain

    Plácido Lizancos Mora

  • UPT/CEAU-FAUP, Porto, Portugal

    David Leite Viana

  • LIAD-ESAP, Porto, Portugal

    Franklim Morais, Jorge Vieira Vaz

About the editors

Plácido Lizancos Mora is a Spanish architect (Universidade de Santiago de Compostela, 1988) and Masters of Architecture for African Development (Universidad Politécnica de Madrid, 2009). As a senior professor, he teaches architectonic analysis and basic habitability at Escola Técnica Superior de Arquitectura of Universidade da Coruña (ETSAC) since 1993. He has also taught as a visitor in PUCMM in the Dominican Republic; ENA in Rabat, Morocco; and UEM Mozambique and USB in Venezuela. As a researcher, he approaches using analytical tools to address social issues of architecture, producing many publications in this field and managing several research projects, some of them in a joint venture with Architecture Sanz Frontiers. He is also committed to managing educational institutions in various positions.

David Leite Viana is a post-doc. in Urban Morphology/Civil Engineering (FEUP, 2015), Ph.D. in Urban and Spatial Planning (IUU-UVa, 2008), DEA in Modern City and Architecture (UVa, 2005), and Dipl. Arch. (ESAP, 1999). He is the head of the Urban Planning Division at Matosinhos Municipality, a professor in the Integrated Master Programme on Architecture and Urbanism at UPT, an invited professor in the Master Programme on Geographic Information Systems Applied to Spatial Planning, Urbanism and Landscape at UPV, PhD supervisor in the doctorate programme on Architecture for the Contemporary Metropolitan Territories at Iscte, an external reviewer at Chalmers University of Technology (Architecture and Urban Design Programme), a researcher at CEAU-FAUP, a visiting scholar in the Centre for Architecture, Urbanism and Global Heritage at NTU, and a visiting fellow in the Architecture & City Group at TU Delft (Theories of Architecture Fellowship Program). He is a co-founder and co-chair of the International Symposium Formal Methods in Architecture, PNUM Scientific Councillor and editorial board member of the journal “Revista de Morfologia Urbana”. He is the author of one book and co-editor of three volumes and two special issues. He is also the author of more than twenty book chapters and more than twenty-five papers published nationally and abroad.

Franklim Morais is a Portuguese civil and electronic engineer, Ph.D. professor and researcher. He was the leader of development teams of private commercial software for scientific applications: pioneering, in the early 1980s, the use of finite element methods for structural engineering on microcomputing; and since the early 1990s, developing COTS private hardware and software systems for smart buildings, urban spaces and cities. He is an invited professor in ESAP (Arts University of Porto) Architectural Course since 2001. He participates in LIAD, an academic research team, in a group dedicated to Formal Methods in Architecture. A major achievement is the production of DepthSpace3D and SCAVATools, digital tools for space syntax analysis. Since 1991, he participated in the organization (scientific and operational committees) of 12 conferences on his scientific fields of interest, including the 2 symposia of the series “Formal Methods in Architecture” (since 2011). Since 1987, he has produced several conference papers and journal articles, being co-editor of three books on Formal Methods in Architecture.

Jorge Vieira Vaz Architect (FA Uni. Porto, Portugal, 1990), master’s in urban Renovation (Poznań Uni. Tech, Poland, 1995), DEA in Composición Arquitectónica (Uni. Valladolid, Spain, 2002), is a teacher of Construction and Technologies in the Master Course in Architecture at ESAP (Porto, since 1993). He is a teacher and co-coordinator of “Bim Coordination” postgraduated studies programme at ISEP (Instituto Superior de Engenharia do Porto) since 2019. He was a teacher at Coimbra University (Civil Engineering Department), Aveiro University (Communication and Art Department), ARCA/ETACoimbra (Architecture Course) and at High Institute of Administrative and Informational Sciences of Aveiro (Public Administration Course). He was a M.Sc. Thesis supervisor and jury member in several institutions (Minho University, Gallaecia University, Aveiro University and ESAPorto). He develops his professional activity as architect since 1991 and at AAVV (Portugal and Bonaire, since 2000) is a certified expert in building thermal behaviour (ADENE, since 2008) and is BIM/VDCPM—Building Information Modelling/Virtual Design and Construction Project Manager (since 2005). He was co-founder of IERU—Institute of Regional and Urban Studies at University of Coimbra and was a researcher at MEREC Project—Managing Energy and Resources in Efficient Cities (Tennessee Valley Authority/CCRC/FLAD, Coimbra) and at RECITE/REBUILD Network Programme—Renewable Energies for Buildings in European Historical Centers, (European Commission—DGXVII); nowadays, he develops his research activity in Formal Methodologies in Architectural Design and Construction, namely BIM (Building Information Modelling), parametric design, ontologies and taxonomy, at LIAD/ESAP- Architecture and Design Research Laboratory. He co-developed “DepthSpace 3D” digital tool, for three-dimensional spatial syntactic analyses (LIAD/ESAP) now a full-functional digital application in space syntax (SS), granted by EU founds. He is a (co)founder and chair of the International Symposium Formal Methods in Architecture, since 1st edition. He was a guest co-editor of the Special Issue “Formalizing Urban Methodologies” (Urban Science Journal, 2018) and was a co-editor of the books: Formal Methods in Architecture and Urbanism (Cambridge Scholars Publishing, 2018), Formal Methods in Architecture (Springer, 2021) and Formal Methods in Architecture and Urbanism II (Cambridge Scholars Publishing, 2021).

Bibliographic Information

  • Book Title: Formal Methods in Architecture

  • Book Subtitle: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022

  • Editors: Plácido Lizancos Mora, David Leite Viana, Franklim Morais, Jorge Vieira Vaz

  • Series Title: Digital Innovations in Architecture, Engineering and Construction

  • DOI:

  • Publisher: Springer Singapore

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2023

  • Hardcover ISBN: 978-981-99-2216-1Published: 02 August 2023

  • Softcover ISBN: 978-981-99-2219-2Due: 16 August 2024

  • eBook ISBN: 978-981-99-2217-8Published: 01 August 2023

  • Series ISSN: 2731-7269

  • Series E-ISSN: 2731-7277

  • Edition Number: 1

  • Number of Pages: XXVIII, 515

  • Number of Illustrations: 65 b/w illustrations, 246 illustrations in colour

  • Topics: Building Construction and Design, Arts, Computer-Aided Engineering (CAD, CAE) and Design, Cities, Countries, Regions

Buy it now

Buying options

eBook USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access