{"id":30959,"date":"2021-11-23T16:33:47","date_gmt":"2021-11-23T15:33:47","guid":{"rendered":"http:\/\/etsa.udc.es\/web\/?p=30959"},"modified":"2021-11-23T16:33:47","modified_gmt":"2021-11-23T15:33:47","slug":"6th-international-symposium-formal-methods-in-architecture-at-etsac","status":"publish","type":"post","link":"https:\/\/etsa.udc.es\/web\/?p=30959","title":{"rendered":"6th International Symposium Formal Methods in Architecture at ETSAC"},"content":{"rendered":"<div>\n<div><span lang=\"EN-US\">The\u00a06<sup>th<\/sup>\u00a0International Symposium\u00a0<span class=\"x_x_markz0u84p8xh\">Formal<\/span>\u00a0<span class=\"x_x_markpjfk0u6bx\">Methods<\/span>\u00a0in Architecture (6FMA) will be held at\u00a0ETSAC,\u00a0between the 24<sup>th<\/sup>\u00a0and the 27<sup>th<\/sup>\u00a0of May 2022 (<\/span><a href=\"http:\/\/fma2022.archformalmethods.eu\/\" target=\"_blank\" rel=\"noopener noreferrer\" data-auth=\"NotApplicable\" data-linkindex=\"0\"><span lang=\"EN-US\">http:\/\/fma2022.archformalmethods.eu\/<\/span><\/a><span lang=\"EN-US\">).<\/span><span lang=\"EN-US\">\u00a0<\/span><\/div>\n<\/div>\n<div>\n<div dir=\"ltr\">\n<p class=\"x_x_xmsonormal\"><span lang=\"EN-US\">The call for abstracts deadline is the 30<sup>th<\/sup>\u00a0of November<\/span><span lang=\"EN-US\">\u00a0(<\/span><a href=\"http:\/\/fma2022.archformalmethods.eu\/index.php\/call-for-papers\/\" target=\"_blank\" rel=\"noopener noreferrer\" data-auth=\"NotApplicable\" data-linkindex=\"1\"><span lang=\"EN-US\">http:\/\/fma2022.archformalmethods.eu\/index.php\/call-for-papers\/<\/span><\/a><span lang=\"EN-US\">).<\/span><span lang=\"EN-US\">\u00a0P<\/span><span lang=\"EN-US\">apers accepted for presentation at the 6FMA will be published by Springer.\u00a0<\/span><\/p>\n<p class=\"x_x_xmsonormal\"><span lang=\"EN-US\">Keynote speakers \u2013 professors Pilar Chias Navarro, Sophia Psarra, Josep Munta\u00f1ola and Jos\u00e9 Pinto Duarte &#8211; have been confirmed.\u00a0<\/span><span lang=\"EN-US\">(<\/span><a href=\"http:\/\/fma2022.archformalmethods.eu\/index.php\/keynote-speakers\/\" target=\"_blank\" rel=\"noopener noreferrer\" data-auth=\"NotApplicable\" data-linkindex=\"2\"><span lang=\"EN-US\">http:\/\/fma2022.archformalmethods.eu\/index.php\/keynote-speakers\/<\/span><\/a><span lang=\"EN-US\">).<\/span><\/p>\n<p>&#8212;<\/p>\n<p>O <span lang=\"EN-US\">6<sup>th<\/sup>\u00a0International Symposium\u00a0<span class=\"x_x_markz0u84p8xh\">Formal<\/span>\u00a0<span class=\"x_x_markpjfk0u6bx\">Methods<\/span> in Architecture (6FMA) vaise celebrar na ETSAC dos d\u00edas 24 ao 27 de maio do 2022 (<a href=\"http:\/\/fma2022.archformalmethods.eu\/\" target=\"_blank\" rel=\"noopener noreferrer\" data-auth=\"NotApplicable\" data-linkindex=\"0\">http:\/\/fma2022.archformalmethods.eu\/<\/a>).\u00a0<\/span><\/p>\n<p>A data de peche da chamada a participantes \u00e9 o vindeiro 30 de novembro <span lang=\"EN-US\">\u00a0(<\/span><a href=\"http:\/\/fma2022.archformalmethods.eu\/index.php\/call-for-papers\/\" target=\"_blank\" rel=\"noopener noreferrer\" data-auth=\"NotApplicable\" data-linkindex=\"1\"><span lang=\"EN-US\">http:\/\/fma2022.archformalmethods.eu\/index.php\/call-for-papers\/<\/span><\/a><span lang=\"EN-US\">).<\/span><span lang=\"EN-US\">\u00a0 Aquelas comunicaci\u00f3ns seleccionadas para presentarse no 6FMA publicaranse pola editorial Springer.<\/span><\/p>\n<p>O po\u00f1entes confirmados son <span lang=\"EN-US\">Pilar Chias Navarro, Sophia Psarra, Josep Munta\u00f1ola e Jos\u00e9 Pinto Duarte. <\/span><span lang=\"EN-US\">(<\/span><a href=\"http:\/\/fma2022.archformalmethods.eu\/index.php\/keynote-speakers\/\" target=\"_blank\" rel=\"noopener noreferrer\" data-auth=\"NotApplicable\" data-linkindex=\"2\"><span lang=\"EN-US\">http:\/\/fma2022.archformalmethods.eu\/index.php\/keynote-speakers\/<\/span><\/a><span lang=\"EN-US\">).<\/span><\/p>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>The\u00a06th\u00a0International Symposium\u00a0Formal\u00a0Methods\u00a0in Architecture (6FMA) will be held at\u00a0ETSAC,\u00a0between the 24th\u00a0and the 27th\u00a0of May 2022 (http:\/\/fma2022.archformalmethods.eu\/).\u00a0 The call for abstracts deadline is the 30th\u00a0of November\u00a0(http:\/\/fma2022.archformalmethods.eu\/index.php\/call-for-papers\/).\u00a0Papers accepted for presentation at the 6FMA [&hellip;]<\/p>\n","protected":false},"author":659,"featured_media":30960,"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\/30959"}],"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=30959"}],"version-history":[{"count":1,"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=\/wp\/v2\/posts\/30959\/revisions"}],"predecessor-version":[{"id":30961,"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=\/wp\/v2\/posts\/30959\/revisions\/30961"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=\/wp\/v2\/media\/30960"}],"wp:attachment":[{"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=30959"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=30959"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}