{"id":3635,"date":"2019-10-08T11:49:34","date_gmt":"2019-10-08T11:49:34","guid":{"rendered":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=3635"},"modified":"2019-10-08T21:14:52","modified_gmt":"2019-10-08T21:14:52","slug":"conference-announcements","status":"publish","type":"page","link":"http:\/\/formalmethods2019.inesctec.pt\/conference-announcements\/","title":{"rendered":"Conference announcements"},"content":{"rendered":"<p>The <strong>FM&#8217;19<\/strong> congress is very happy to announce the following forthcoming conferences:<\/p>\n<table data-toggle=\"table\" border=\"1\" align=\"center\">\n<tbody>\n<tr>\n<td><a target=\"_blank\" href=\"http:\/\/fscd2020.org\/\" rel=\"noopener noreferrer\"><strong>FSCD 2020<\/strong><\/a><\/td>\n<td>Fifth International Conference on Formal Structures for Computation and Deduction<\/td>\n<td><a target=\"_blank\" href=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/10\/CFP.pdf\" rel=\"noopener noreferrer\">Poster<\/a><\/td>\n<\/tr>\n<tr>\n<td><a target=\"_blank\" href=\"https:\/\/www.formalise.org\" rel=\"noopener noreferrer\"><strong>FormaliSE 2020<\/strong><\/a><\/td>\n<td>8th International Conference on Formal Methods in Software Engineering<\/td>\n<td><a target=\"_blank\" href=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/10\/FormaliSE2020_CfP.pdf\" rel=\"noopener noreferrer\">Poster<\/a><\/td>\n<\/tr>\n<tr>\n<td><a target=\"_blank\" href=\"http:\/\/tinyurl.com\/y5vr756w\" rel=\"noopener noreferrer\"><strong>REFSQ 2020<\/strong><\/a><\/td>\n<td>26th Intl. Conference on Requirements Engineering: Foundationsfor Software Quality<\/td>\n<td><a target=\"_blank\" href=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/10\/REFSQ2020_CfP.pdf\" rel=\"noopener noreferrer\">Poster<\/a><\/td>\n<\/tr>\n<tr>\n<td><a target=\"_blank\" href=\"http:\/\/ramics-conference.org\/\" rel=\"noopener noreferrer\"><strong>RAMICS 2020<\/strong><\/a><\/td>\n<td>18th International Conference on Relational and Algebraic Methods in Computer Science<\/td>\n<td><a target=\"_blank\" href=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/10\/ramics18-poster.pdf\" rel=\"noopener noreferrer\">Poster<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"excerpt":{"rendered":"<p>The FM&#8217;19 congress is very happy to announce the following forthcoming conferences: FSCD 2020 Fifth International Conference on Formal Structures for Computation and Deduction Poster FormaliSE 2020 8th International Conference &#8230;<\/p>\n","protected":false},"author":3,"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\/3635"}],"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\/3"}],"replies":[{"embeddable":true,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/comments?post=3635"}],"version-history":[{"count":5,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/3635\/revisions"}],"predecessor-version":[{"id":3646,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/3635\/revisions\/3646"}],"wp:attachment":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/media?parent=3635"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}