{"id":345,"date":"2018-08-22T15:16:11","date_gmt":"2018-08-22T13:16:11","guid":{"rendered":"http:\/\/members.loria.fr\/Mery\/?p=345"},"modified":"2019-08-20T18:29:30","modified_gmt":"2019-08-20T16:29:30","slug":"fm2019","status":"publish","type":"post","link":"https:\/\/members.loria.fr\/Mery\/fm2019\/","title":{"rendered":"FM&rsquo;2019 October 7-11, 2019 \u00a0Porto, Portugal"},"content":{"rendered":"<p>FM\u201919 is the 23rd symposium in a series organized by the Formal Methods Europe association (<a href=\"http:\/\/www.fmeurope.org\/\">FME<\/a>). Every 10 years the symposium is organized as a World Congress. Twenty years after FM\u201999 in Toulouse, and ten years after <a href=\"http:\/\/www.win.tue.nl\/fm2009\/\">FM\u201909<\/a>in Eindhoven, formal methods communities from all over the world will again have the opportunity to meet. Therefore, FM\u201919 will be both an occasion to celebrate, and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds and schools to exchange their ideas and share their experience.<\/p>\n<p><strong>Abstract Submission: 28 March 2019 <\/strong><\/p>\n<p><strong>Full Paper Submission: 11 April 2019, 23:59 AoE<\/strong><\/p>\n<p>Dominique M\u00e9ry is involved in the organisation of two workshops F-IDE and FMIS.<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>FM\u201919 is the 23rd symposium in a series organized by the Formal Methods Europe association (<a href=\"http:\/\/www.fmeurope.org\/\">FME<\/a>). Every 10 years the symposium is organized as a World Congress. Twenty years after FM\u201999 in Toulouse, and ten years after <a href=\"http:\/\/www.win.tue.nl\/fm2009\/\">FM\u201909<\/a>in Eindhoven, formal methods communities from all over the world will again have the opportunity to meet. Therefore, FM\u201919 will be both an occasion to celebrate, and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds and schools to exchange their ideas and share their experience.<\/p>\n<p>Abstract Submission: 28 March 2019 <\/p>\n<p>Full Paper Submission: 11 April 2019,<\/p>\n","protected":false},"author":120,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4,1],"tags":[],"class_list":["post-345","post","type-post","status-publish","format-standard","hentry","category-actualite","category-non-classe"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/posts\/345","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/users\/120"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/comments?post=345"}],"version-history":[{"count":5,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/posts\/345\/revisions"}],"predecessor-version":[{"id":397,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/posts\/345\/revisions\/397"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/media?parent=345"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/categories?post=345"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/tags?post=345"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}