{"id":31434,"date":"2022-05-11T00:08:04","date_gmt":"2022-05-10T22:08:04","guid":{"rendered":"http:\/\/etsa.udc.es\/web\/?p=31434"},"modified":"2022-05-11T00:08:04","modified_gmt":"2022-05-10T22:08:04","slug":"6th-international-symposium-formal-methods-in-architecture","status":"publish","type":"post","link":"https:\/\/etsa.udc.es\/web\/?p=31434","title":{"rendered":"6th International Symposium Formal Methods in Architecture"},"content":{"rendered":"<div class=\"x_x_x_elementToProof x_x_elementToProof\"><b>Os vindeiros 25, 26 e 27 de maio pr\u00f3ximos celebrarase na ETSAC o\u00a0<i>6<sup>th<\/sup>\u00a0International Simposium Formal Methods in Architecture<\/i>.<\/b><\/div>\n<div class=\"x_x_x_elementToProof x_x_elementToProof\"><\/div>\n<div class=\"x_x_x_elementToProof x_x_elementToProof\">Esta \u00e9 unha reuni\u00f3n cient\u00edfica na que se aborda a utilizaci\u00f3n de procesos formais\u00a0cuestion\u00e1ndose os l\u00edmites das ferramentas dixitais existentes.<\/div>\n<div><\/div>\n<div class=\"x_x_x_elementToProof x_x_elementToProof\">Os seus \u00e1mbitos cient\u00edficos incl\u00faen<\/div>\n<div class=\"x_x_x_elementToProof x_x_elementToProof\">\n<div>\n<ul>\n<li>a obtenci\u00f3n, xesti\u00f3n e organizaci\u00f3n dixital de informaci\u00f3n,<\/li>\n<li>as an\u00e1lises arquitect\u00f3nica e urbana,<\/li>\n<li>a representaci\u00f3n, a visualizaci\u00f3n e o modelado dixital, as\u00ed como<\/li>\n<li>as realidades virtual e aumentada e as s\u00faas gram\u00e1ticas e ontolox\u00edas.<\/li>\n<\/ul>\n<div class=\"x_x_x_elementToProof\">Trae destacados\u00a0<i>keynote speakers<\/i>, entre eles Josep Munta\u00f1ola, precursor na teorizaci\u00f3n dos m\u00e9todos formais na arquitectura.<\/div>\n<div class=\"x_x_x_elementToProof\"><\/div>\n<div class=\"x_x_x_elementToProof x_x_elementToProof\">A organizaci\u00f3n do Simposio nos comunica que o\u00a0<b>prazo de inscrici\u00f3n para asistentes\u00a0concl\u00fae \u00e1s 23:59h do vindeiro venres 13 de maio<\/b>.<\/div>\n<div><\/div>\n<div class=\"x_x_x_elementToProof\">Inscrici\u00f3ns <a href=\"https:\/\/www.fundacion.udc.es\/curso.asp?id=1370&amp;idioma=EN&amp;msclkid=51c25c57d03d11ec886c5229d97f3251\">aqu\u00ed<\/a><\/div>\n<\/div>\n<div>Atopa toda a info <a href=\"https:\/\/eur02.safelinks.protection.outlook.com\/?url=http%3A%2F%2Ffma2022.archformalmethods.eu%2Findex.php%2Fvenue%2F%3Fmsclkid%3Daa014745d05e11ecaa2321991d54f084&amp;data=05%7C01%7Czaida.garcia%40udc.es%7Ca76795d8a0c64035eb7708da32d0e9fe%7Ccea1ea3e60b24f75a6c2a6022e8f961b%7C0%7C0%7C637878170098516850%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&amp;sdata=9xRrMExGTTSWKlJxiXVDwQGitBoIEaGidfxJI5l4duc%3D&amp;reserved=0\">aqu\u00ed<\/a><\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Os vindeiros 25, 26 e 27 de maio pr\u00f3ximos celebrarase na ETSAC o\u00a06th\u00a0International Simposium Formal Methods in Architecture. Esta \u00e9 unha reuni\u00f3n cient\u00edfica na que se aborda a utilizaci\u00f3n de [&hellip;]<\/p>\n","protected":false},"author":659,"featured_media":31155,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"tags":[],"class_list":["post-31434","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-avisos","category-principal"],"_links":{"self":[{"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=\/wp\/v2\/posts\/31434","targetHints":{"allow":["GET"]}}],"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=31434"}],"version-history":[{"count":1,"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=\/wp\/v2\/posts\/31434\/revisions"}],"predecessor-version":[{"id":31435,"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=\/wp\/v2\/posts\/31434\/revisions\/31435"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=\/wp\/v2\/media\/31155"}],"wp:attachment":[{"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=31434"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/etsa.udc.es\/web\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=31434"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}