Mostrar o rexistro simple do ítem
6th International Symposium Formal Methods in Architecture: Book of Abstracts
dc.contributor.author | Lizancos, Plácido | |
dc.contributor.author | Leite Viana, David | |
dc.contributor.author | Morais, Fraknlim | |
dc.contributor.author | Vieira Vaz, Jorge | |
dc.date.accessioned | 2022-05-13T07:34:47Z | |
dc.date.available | 2022-05-13T07:34:47Z | |
dc.date.issued | 2022 | |
dc.identifier.citation | 6th International Symposium Formal Methods in Architecture: Book of Abstracts. Placido Lizancos-Mora, David Leite Viana, Fraknlim Morais and Jorge Vieira Vaz (eds.). A Coruña : Universidade da Coruña, Servizo de Publicacións, 2022. 43 p. DOI: 10.17979/spudc.000006 | |
dc.identifier.other | DL C. 795-2022 | |
dc.identifier.uri | http://hdl.handle.net/2183/30662 | |
dc.description | Colección: CCS_153 | |
dc.description.abstract | [Abstract] The lnternational Symposium Formal Methods in Architecture searches to contribute to the debate in the fields of Architecture and Urbanism on the application of new formal methods to emerging societal and technical questions. lt focuses on methodological advanees based on new developments emerging from collaborative work with the Mathematics and Computer Sciences, applied to Architecture and Urbanism with various levels of abstraction and formalisation. The aim of the symposium is to discuss, disseminate and promote the use of formal methods in the creation of new explicit languages far problem-solving in Architecture and Urbanism. The symposium is meant far architects, urban planners, landscape designers, civil engineers, computer scientists and students of these fields. | |
dc.description.uri | http://fma2022.archformalmethods.eu/ | |
dc.language.iso | eng | es_ES |
dc.publisher | Universidade da Coruña, Servizo de Publicacións | es_ES |
dc.relation.uri | https://doi.org/10.17979/spudc.000006 | |
dc.rights | Atribución-NoComercial-CompartirIgual 4.0 International (CC BY-NC-SA 4.0) | es_ES |
dc.rights.uri | https://creativecommons.org/licenses/by-nc-sa/4.0/deed.en | * |
dc.subject | Architecture | |
dc.subject | International Architecture | |
dc.title | 6th International Symposium Formal Methods in Architecture: Book of Abstracts | es_ES |
dc.type | info:eu-repo/semantics/conferenceObject | es_ES |
dc.rights.access | info:eu-repo/semantics/openAccess | es_ES |
dc.identifier.doi | 10.17979/spudc.000006 | |
UDC.conferenceTitle | International Symposium Formal Methods in Architecture (6th. 2022. A Coruña) |