{"id":148,"date":"2018-07-11T16:26:28","date_gmt":"2018-07-11T16:26:28","guid":{"rendered":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=148"},"modified":"2019-11-18T11:58:03","modified_gmt":"2019-11-18T11:58:03","slug":"past-editions","status":"publish","type":"page","link":"http:\/\/formalmethods2019.inesctec.pt\/past-editions\/","title":{"rendered":"Past FM Symposia"},"content":{"rendered":"<p><a href=\"http:\/\/fm06.mcmaster.ca\">Formal Methods 2006<\/a>&nbsp;| August 21-27, 2006 | Ontario, Canada<\/p>\n<p><a href=\"http:\/\/www.fm2008.abo.fi\">Formal Methods 2008<\/a> | May 26-30, 2008 | Turku, Finland<\/p>\n<p><a href=\"http:\/\/www.win.tue.nl\/fm2009\/\">Formal Methods 2009<\/a> | November 2-6, 2009 | Eindhoven, The Netherlands<\/p>\n<p><a href=\"http:\/\/sites.lero.ie\/fm2011\/home.html\">Formal Methods 2011<\/a> | June 20-24 | Limerick, Ireland<\/p>\n<p><a href=\"http:\/\/fm2012.cnam.fr\">Formal Methods 2012<\/a> | August 27-31 | Paris, France<\/p>\n<p><a href=\"https:\/\/www.comp.nus.edu.sg\/~pat\/FM2014\/\">Formal Methods 2014<\/a> | May 14-16 | Singapore<\/p>\n<p><a href=\"http:\/\/fm2015.ifi.uio.no\">Formal Methods 2015<\/a> | June 24-26 | Oslo, Norway<\/p>\n<p><a href=\"http:\/\/fm2016.cs.ucy.ac.cy\">Formal Methods 2016<\/a> | November 9-11 | Limassol, Cyprus<\/p>\n<p><a href=\"http:\/\/www.fm2018.org\">Formal Methods 2018<\/a> | July 15-17 | Oxford, UK<\/p>\n<p>More information available at <a href=\"http:\/\/www.fmeurope.org\/symposia\/\">Formal Methods Symposia<\/a><br \/>\n&nbsp;<\/p>\n<h6>World Congress on Formal Methods 1999<\/h6>\n<p>Toulouse, France<\/p>\n<p><img loading=\"lazy\" class=\"alignnone size-medium wp-image-3762\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/11\/FM99-139x300.jpg\" alt=\"\" width=\"139\" height=\"300\" srcset=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/11\/FM99-139x300.jpg 139w, http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/11\/FM99-768x1658.jpg 768w, http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/11\/FM99-474x1024.jpg 474w\" sizes=\"(max-width: 139px) 100vw, 139px\" \/><br \/>\n&nbsp;<\/p>\n<h6>\nWorld Congress on Formal Methods 2009<\/h6>\n<p>Eindhoven, The Netherlands<\/p>\n<h6><img loading=\"lazy\" class=\"alignnone size-medium wp-image-3763\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/11\/FM09-179x300.jpg\" alt=\"\" width=\"179\" height=\"300\" srcset=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/11\/FM09-179x300.jpg 179w, http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/11\/FM09-768x1288.jpg 768w, http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/11\/FM09-611x1024.jpg 611w\" sizes=\"(max-width: 179px) 100vw, 179px\" \/><\/h6>\n<p>&nbsp;<\/p>\n<h6>\nWorld Congress on Formal Methods 2019<\/h6>\n<p>Porto, Portugal<\/p>\n<p><img loading=\"lazy\" class=\"alignnone size-medium wp-image-3764\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/11\/Poster-212x300.jpg\" alt=\"\" width=\"212\" height=\"300\" srcset=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/11\/Poster-212x300.jpg 212w, http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/11\/Poster-768x1086.jpg 768w, http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/11\/Poster-724x1024.jpg 724w\" sizes=\"(max-width: 212px) 100vw, 212px\" \/><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Formal Methods 2006&nbsp;| August 21-27, 2006 | Ontario, Canada Formal Methods 2008 | May 26-30, 2008 | Turku, Finland Formal Methods 2009 | November 2-6, 2009 | Eindhoven, The Netherlands &#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\/148"}],"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=148"}],"version-history":[{"count":13,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/148\/revisions"}],"predecessor-version":[{"id":3770,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/148\/revisions\/3770"}],"wp:attachment":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/media?parent=148"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}