{"id":656,"date":"2020-12-02T09:30:57","date_gmt":"2020-12-02T01:30:57","guid":{"rendered":"http:\/\/wordpress.ios.ac.cn\/?page_id=656"},"modified":"2021-11-20T12:51:53","modified_gmt":"2021-11-20T04:51:53","slug":"home","status":"publish","type":"page","link":"http:\/\/lcs.ios.ac.cn\/fm2021\/","title":{"rendered":"Home"},"content":{"rendered":"<div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-1 fusion-flex-container nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"background-color: rgba(255,255,255,0);background-position: center center;background-repeat: no-repeat;border-width: 0px 0px 0px 0px;border-color:#e2e2e2;border-style:solid;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-center\" style=\"max-width:1248px;margin-left: calc(-4% \/ 2 );margin-right: calc(-4% \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-0 fusion_builder_column_1_1 1_1 fusion-flex-column\"><div class=\"fusion-column-wrapper fusion-flex-justify-content-space-between fusion-content-layout-column\" style=\"background-position:left top;background-repeat:no-repeat;-webkit-background-size:cover;-moz-background-size:cover;-o-background-size:cover;background-size:cover;padding: 0px 0px 0px 0px;\"><div class=\"fusion-text fusion-text-1\"><h4 style=\"text-align: left;\"><strong>About<\/strong><\/h4>\n<p>FM 2021 is the 24th international symposium in a series organized by <span style=\"color: #7b3feb;\"><a class=\"url_1\" style=\"color: #7b3feb;\" href=\"http:\/\/www.fmeurope.org\/\">Formal Methods Europe<\/a><\/span> (FME). The topics covered include the development and application of formal methods in a wide range of domains including software, cyber-physical systems and integrated computer-based systems.<\/p>\n<p>The conference is planned to take place on November 20-26, 2021. It is hosted by the Institute of Software, Chinese Academy of Sciences in Beijing, China.<\/p>\n<p><span style=\"color: #ff0000;\">After analyzing the COVID-19 situation, FME board has decided that FM 2021 will be held online. The organisation team of FM 2021 is fully committed to make this online FM conference a wonderful experience for all participants.<\/span><\/p>\n<\/div>\n<div class=\"table-1\">\n<h4><strong>Important Dates (All dates are <span style=\"color: #ff0000;\">Anywhere on Earth<\/span>)<\/strong><\/h4>\n<table width=\"100%\">\n<tbody>\n<tr>\n<td align=\"left\"><strong>Abstract Submission<\/strong><\/td>\n<td align=\"left\"><strong>April 30th, 2021<\/strong><\/td>\n<\/tr>\n<tr>\n<td align=\"left\"><strong>Full Paper Submission(including I-Day)<\/strong><\/td>\n<td align=\"left\"><strong>May 6th, 2021 <span style=\"color: #ff6600;\">(update until May 10th, 2021)<\/span><\/strong><\/td>\n<\/tr>\n<tr>\n<td align=\"left\"><strong>Paper Notification<\/strong><\/td>\n<td align=\"left\"><strong>July 16th, 2021<\/strong><\/td>\n<\/tr>\n<tr>\n<td align=\"left\"><strong>Final Version<\/strong><\/td>\n<td align=\"left\"><strong>August 16th, 2021<\/strong><\/td>\n<\/tr>\n<tr>\n<td align=\"left\"><strong>Conference<\/strong><\/td>\n<td align=\"left\"><strong>November 20-26th, 2021<\/strong><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<div class=\"fusion-text fusion-text-2\"><h4><strong>Proceeding<\/strong><\/h4>\n<div style=\"text-align: justify;\">\n<p>FM'21 proceeding <span style=\"color: #ff0000;\">are <span style=\"color: #0000ff;\"><a style=\"color: #0000ff; text-decoration: underline;\" href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-030-90870-6\">available<\/a><\/span> to everyone for free<\/span> from Nov. 20 to Dec. 22, 2021. If you are using Chrome (or browsers based on Chromium) and you face problems in accessing the proceedings due to its new referrer policy, please click the referred policy, please check the <span style=\"color: #ff0000;\">Referrer Access Paywall in Chrome help page<\/span>.<\/p>\n<\/div>\n<\/div><div ><span class=\" fusion-imageframe imageframe-none imageframe-1 hover-type-none\"><a class=\"fusion-no-lightbox\" href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-030-90870-6\" target=\"_blank\" aria-label=\"978-3-030-90870-6\" rel=\"noopener noreferrer\"><img width=\"306\" height=\"463\" alt=\"Formal Methods 24th International Symposium, FM 2021, Virtual Event, November 20\u201326, 2021, Proceedings\" src=\"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-content\/uploads\/2021\/11\/978-3-030-90870-6.jpg\" class=\"img-responsive wp-image-1509\" srcset=\"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-content\/uploads\/2021\/11\/978-3-030-90870-6-200x303.jpg 200w, http:\/\/lcs.ios.ac.cn\/fm2021\/wp-content\/uploads\/2021\/11\/978-3-030-90870-6.jpg 306w\" sizes=\"(max-width: 640px) 100vw, 306px\" \/><\/a><\/span><\/div><\/div><\/div><style type=\"text\/css\">.fusion-body .fusion-builder-column-0{width:100% !important;margin-top : 0px;margin-bottom : 20px;}.fusion-builder-column-0 > .fusion-column-wrapper {padding-top : 0px !important;padding-right : 0px !important;margin-right : 1.92%;padding-bottom : 0px !important;padding-left : 0px !important;margin-left : 1.92%;}@media only screen and (max-width:1024px) {.fusion-body .fusion-builder-column-0{width:100% !important;order : 0;}.fusion-builder-column-0 > .fusion-column-wrapper {margin-right : 1.92%;margin-left : 1.92%;}}@media only screen and (max-width:640px) {.fusion-body .fusion-builder-column-0{width:100% !important;order : 0;}.fusion-builder-column-0 > .fusion-column-wrapper {margin-right : 1.92%;margin-left : 1.92%;}}<\/style><\/div><style type=\"text\/css\">.fusion-body .fusion-flex-container.fusion-builder-row-1{ padding-top : 0px;margin-top : 0px;padding-right : 0px;padding-bottom : 0px;margin-bottom : 0px;padding-left : 0px;}<\/style><\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"100-width.php","meta":[],"_links":{"self":[{"href":"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-json\/wp\/v2\/pages\/656"}],"collection":[{"href":"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-json\/wp\/v2\/comments?post=656"}],"version-history":[{"count":52,"href":"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-json\/wp\/v2\/pages\/656\/revisions"}],"predecessor-version":[{"id":1580,"href":"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-json\/wp\/v2\/pages\/656\/revisions\/1580"}],"wp:attachment":[{"href":"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-json\/wp\/v2\/media?parent=656"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}