{"id":325,"date":"2018-07-13T15:11:55","date_gmt":"2018-07-13T15:11:55","guid":{"rendered":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=325"},"modified":"2018-12-11T14:59:23","modified_gmt":"2018-12-11T14:59:23","slug":"organization","status":"publish","type":"page","link":"http:\/\/formalmethods2019.inesctec.pt\/organization\/","title":{"rendered":"Organisation"},"content":{"rendered":"<h4>Formal Methods Europe<\/h4>\n<p><a href=\"http:\/\/www.fmeurope.org\">FME<\/a> is a not-for-profit association run by a group of volunteers that form the FME board. <a href=\"http:\/\/www.fmeurope.org\/\"><img loading=\"lazy\" class=\"alignright wp-image-560\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/07\/fme.png\" alt=\"\" width=\"97\" height=\"108\" \/><\/a><br \/>\nFME\u2019s aim is to encourage formal methods research and application. FME estimulates the use of formal methods in industry and promotes international co-operation among researchers and users of formal methods, in order to exchange ideas, to identify common interests and to make links between research and areas of application.<\/p>\n<p>&nbsp;<\/p>\n<h4>INESC TEC<\/h4>\n<p><a href=\"https:\/\/www.inesctec.pt\/en\">INESC TEC<\/a> <a href=\"https:\/\/www.inesctec.pt\/en\"><img loading=\"lazy\" class=\"alignright wp-image-560\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/07\/INESCTECLogotipo_CORPositivo_RGB-e1531483791196.png\" alt=\"\" width=\"265\" height=\"77\" \/> <\/a> is a private non-profit research institution, dedicated to scientific research and technological development, technology transfer, advanced consulting and training, and pre-incubation of new technology-based companies.<\/p>\n<p>&nbsp;<\/p>\n<h4>University of Minho<\/h4>\n<p>The <a href=\"https:\/\/www.uminho.pt\/EN\">University of Minho<\/a> <a href=\"https:\/\/www.uminho.pt\/EN\"><img loading=\"lazy\" class=\"alignright wp-image-560\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/07\/universidade_minho_investigacao_energia1368112316707-2.jpg\" alt=\"\" width=\"136\" height=\"76\" \/> <\/a> is currently one of the most prestigious Portuguese higher education institutions, and is gradually becoming more prominent internationally. \u200b <span lang=\"EN-GB\">The University was founded in 1973, and it is currently comprised of three campi: the Gualtar Campus, in Braga, and the Azur\u00e9m and Couros Campi, in Guimar\u00e3es.<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Formal Methods Europe FME is a not-for-profit association run by a group of volunteers that form the FME board. FME\u2019s aim is to encourage formal methods research and application. FME &#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/325"}],"collection":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/comments?post=325"}],"version-history":[{"count":11,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/325\/revisions"}],"predecessor-version":[{"id":1025,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/325\/revisions\/1025"}],"wp:attachment":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/media?parent=325"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}