6th International Symposium Formal Methods in Architecture: Book of Abstracts

Simple item page
UDC.coleccionPublicacións UDCes_ES
UDC.conferenceTitleInternational Symposium Formal Methods in Architecture (6th. 2022. A Coruña)
dc.contributor.authorLizancos, Plácido
dc.contributor.authorLeite Viana, David
dc.contributor.authorMorais, Franklim
dc.contributor.authorVieira Vaz, Jorge
dc.date.accessioned2022-05-13T07:34:47Z
dc.date.available2022-05-13T07:34:47Z
dc.date.issued2022
dc.descriptionColecció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.urihttp://fma2022.archformalmethods.eu/
dc.identifier.citation6th 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.doi10.17979/spudc.000006
dc.identifier.otherDL C. 795-2022
dc.identifier.urihttp://hdl.handle.net/2183/30662
dc.language.isoenges_ES
dc.publisherUniversidade da Coruña, Servizo de Publicaciónses_ES
dc.relation.urihttps://doi.org/10.17979/spudc.000006
dc.rightsAtribución-NoComercial-CompartirIgual 4.0 International (CC BY-NC-SA 4.0)es_ES
dc.rights.accessRightsopen accesses_ES
dc.rights.urihttps://creativecommons.org/licenses/by-nc-sa/4.0/deed.en*
dc.subjectArchitecture
dc.subjectInternational architecture
dc.title6th International Symposium Formal Methods in Architecture: Book of Abstractses_ES
dc.typeconference outputes_ES
dspace.entity.typePublication
relation.isAuthorOfPublication095934e2-4f05-4b78-acc7-d859be28fbbc
relation.isAuthorOfPublication.latestForDiscovery095934e2-4f05-4b78-acc7-d859be28fbbc

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
International_Symposium_Formal_Methods_in_Architecture_6th_2022_A_Coruña_Abstracts.pdf
Size:
24.14 MB
Format:
Adobe Portable Document Format
Description:
Download

Collections

International Symposium Formal Methods in Architecture (6th. 2022. A Coruña)