{"id":30147,"date":"2021-04-29T19:08:08","date_gmt":"2021-04-29T17:08:08","guid":{"rendered":"http:\/\/etsa.udc.es\/web\/?p=30147"},"modified":"2021-04-29T19:08:08","modified_gmt":"2021-04-29T17:08:08","slug":"the-6th-formal-methods-in-architecture-symposium-fma-to-be-held-at-etsac-in-2022","status":"publish","type":"post","link":"https:\/\/etsa.udc.es\/web\/?p=30147","title":{"rendered":"The 6th Formal Methods in Architecture Symposium (FMA) to be held at ETSAC in 2022"},"content":{"rendered":"

The Call for papers for the 6th<\/sup>\u00a0International Symposium on Formal Methods in Architecture (6FMA) is now open.<\/span><\/p>\n

The Formal Methods in Architecture (FMA) series began in 2011 and it is a biennial international symposium. The\u00a06FMA will be held at\u00a0ETSAC-Escola T\u00e9cnica Superior de Arquitectura da Coru\u00f1a, Universidade da Coru\u00f1a\u00a0(UDC), in Galicia (Spain),\u00a0between the 24th<\/sup>\u00a0and the 27th<\/sup>\u00a0of May 2022.<\/span><\/p>\n

The 6FMA will focus on scientific fields whose areas of application use methodologies that stem from the Mathematical and Computer Sciences, especially those that have witnessed recently developments.<\/span><\/p>\n

The call for abstracts takes place between the\u00a015th<\/sup>\u00a0of Abril (2021) until the 30th<\/sup>\u00a0of November<\/b>\u00a0(2021). We welcome abstract submissions between this period.<\/span><\/p>\n

The FMA series had the first book published in 2018 (Formal Methods in Architecture and Urbanism<\/em>) by Cambridge Scholars Publishing (CSP). In 2021, Springer published the book\u00a0Formal Methods in Architecture. Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020<\/em>, within the series in Advances in Sciences, Technology & Innovation.<\/span><\/p>\n

https:\/\/www.cambridgescholars.com\/product\/978-1-5275-0762-3<\/a><\/span>
\nhttps:\/\/www.springer.com\/gp\/book\/9783030575083<\/a><\/span><\/p>\n

Also in 2021, the book\u00a0Formal Methods in Architecture and Urbanism \u2013 Volume II<\/em>\u00a0will be published by CSP. \u00a0<\/span><\/p>\n

Original papers submitted to the 6FMA will also be published after the Symposium.<\/span><\/p>\n

You can find more details concerning the 6FMA open call for papers here:<\/span><\/p>\n

http:\/\/www.archformalmethods.eu\/call-for-papers\/call-for-papers\/<\/a><\/span>
\nhttp:\/\/www.archformalmethods.eu\/scientific-fields\/<\/a><\/span>
\nhttp:\/\/www.archformalmethods.eu\/call-for-papers\/call-for-papers-guidelines\/<\/a><\/span>
\nhttp:\/\/www.archformalmethods.eu\/registration-copy-2\/<\/a><\/span>
\nhttp:\/\/www.archformalmethods.eu\/registration-copy\/<\/a><\/span><\/p>\n

\u00a0<\/span><\/p>\n

David Leite Viana (ISTAR-Iscte)
\nFranklim Morais (LIAD-ESAP)
\nJorge Vieira Vaz (LIAD-ESAP)
\nPl\u00e1cido\u00a0Lizancos (ETSA-UDC)<\/p>\n","protected":false},"excerpt":{"rendered":"

The Call for papers for the 6th\u00a0International Symposium on Formal Methods in Architecture (6FMA) is now open. The Formal Methods in Architecture (FMA) series began in 2011 and it is […]<\/p>\n","protected":false},"author":659,"featured_media":30148,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"tags":[],"_links":{"self":[{"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=\/wp\/v2\/posts\/30147"}],"collection":[{"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=\/wp\/v2\/users\/659"}],"replies":[{"embeddable":true,"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=30147"}],"version-history":[{"count":1,"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=\/wp\/v2\/posts\/30147\/revisions"}],"predecessor-version":[{"id":30149,"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=\/wp\/v2\/posts\/30147\/revisions\/30149"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=\/wp\/v2\/media\/30148"}],"wp:attachment":[{"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=30147"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=30147"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}