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

About

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) masters 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/VDCPMBuilding Information Modelling/Virtual Design and Construction Project Manager (since 2005). He was co-founder of IERUInstitute of Regional and Urban Studies at University of Coimbra and was a researcher at MEREC ProjectManaging Energy and Resources in Efficient Cities (Tennessee Valley Authority/CCRC/FLAD Coimbra) and at RECITE/REBUILD Network ProgrammeRenewable Energies for Buildings in European Historical Centers (European CommissionDGXVII); 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).