{"id":905,"date":"2017-07-26T19:56:46","date_gmt":"2017-07-26T22:56:46","guid":{"rendered":"http:\/\/www.infinis.org\/?p=905"},"modified":"2019-04-15T13:48:48","modified_gmt":"2019-04-15T16:48:48","slug":"diego-garbervetsky-is-member-of-the-program-committee-of-fm2018","status":"publish","type":"post","link":"http:\/\/www.irp-sinfin.org\/?p=905","title":{"rendered":"Diego Garbervetsky is member of the program committee of FM2018"},"content":{"rendered":"<p><!--:en-->Diego Garbervetsky is member of the program committee of the 22nd International Symposium on Formal Methods.<!--:--><!--:fr-->Diego Garbervetsky est membre du comit\u00e9 du programme du 22nd International Symposium on Formal Methods.<!--:--><!--:es-->Diego Garbervetsky es miembro del comit\u00e9 de programa de 22nd International Symposium on Formal Methods.<!--:--><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Diego Garbervetsky is member of the program committee of the 22nd International Symposium on Formal Methods.Diego Garbervetsky est membre du comit\u00e9 du programme du 22nd International Symposium on Formal Methods.Diego Garbervetsky es miembro del comit\u00e9 de programa de 22nd International Symposium on Formal Methods.<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-905","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/905","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=905"}],"version-history":[{"count":1,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/905\/revisions"}],"predecessor-version":[{"id":1377,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/905\/revisions\/1377"}],"wp:attachment":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=905"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=905"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=905"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}