{"id":1220,"date":"2021-10-01T10:53:44","date_gmt":"2021-10-01T02:53:44","guid":{"rendered":"http:\/\/lcs.ios.ac.cn\/fm2021\/?page_id=1220"},"modified":"2021-12-21T09:36:43","modified_gmt":"2021-12-21T01:36:43","slug":"overall_program","status":"publish","type":"page","link":"http:\/\/lcs.ios.ac.cn\/fm2021\/overall_program\/","title":{"rendered":"Overall Program"},"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-flex-start\" 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-flex-start 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\"><h6><strong>OVERALL PROGRAM of the FM'21 CONGRESS<\/strong><\/h6>\n<p><a href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/main_program\/\"><span style=\"color: #0000ff;\">FM<\/span><\/a> <strong><span style=\"color: #0000ff;\">|<\/span><\/strong> appFM | <span style=\"color: #0000ff;\"><span style=\"color: #ff0000;\"><del>CBMC<\/del><\/span> <\/span>| <span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/eventb_dsl_cst\/\">Event-B DSL<\/a> <\/span>| <span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/fmi_co_simulation_based_digital_twin\/\">FMI<\/a> <\/span>| <a href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/fmtea_program_cst\/\"><span style=\"color: #0000ff;\">FMTea<\/span><\/a> | I-Day | <span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/momba-program-cst\/\">Momba<\/a><\/span><\/p>\n<\/div>\n<div class=\"table-1\">\n<h6><strong>FM'21 Program<\/strong><\/h6>\n<table width=\"100%\">\n<thead>\n<tr>\n<th><\/th>\n<th align=\"left\">EVENT<\/th>\n<th align=\"left\">Beijing, UTC +8:00<\/th>\n<th align=\"left\">Amsterdam, UTC +1:00<\/th>\n<th align=\"left\">San Francisco, UTC -8:00<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>Main Conference<\/td>\n<td align=\"left\"><a href=\"https:\/\/lcs.ios.ac.cn\/fm2021\"><span style=\"color: #0000ff;\">FM<\/span><\/a> (Nov 22-26)<\/td>\n<td align=\"left\"><span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"https:\/\/lcs.ios.ac.cn\/fm2021\/main_program\/\">Details<\/a><\/span><\/td>\n<td align=\"left\"><span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/main_program_cet\/\">Details<\/a><\/span><\/td>\n<td align=\"left\"><span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/main-program_est\/\">Details<\/a><\/span><\/td>\n<\/tr>\n<tr>\n<td rowspan=\"2\">Workshop<\/td>\n<td align=\"left\"><a href=\"https:\/\/sites.google.com\/view\/appfm21\/\"><span style=\"color: #0000ff;\">appFM<\/span><\/a> (Nov 23)<\/td>\n<td align=\"left\"><a href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/appfm_program_cst\"><span style=\"color: #0000ff;\">Details<\/span><\/a><\/td>\n<td align=\"left\"><a href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/appfm_program_cet\/\"><span style=\"color: #0000ff;\">Details<\/span><\/a><\/td>\n<td align=\"left\"><a href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/appfm_program_est\/\"><span style=\"color: #0000ff;\">Details<\/span><\/a><\/td>\n<\/tr>\n<tr>\n<td align=\"left\"><a href=\"https:\/\/fmtea.github.io\/\"><span style=\"color: #0000ff;\">FMTea<\/span><\/a> (Nov 21)<\/td>\n<td align=\"left\"><span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"https:\/\/lcs.ios.ac.cn\/fm2021\/fmtea_program_cst\/\">Details<\/a><\/span><\/td>\n<td align=\"left\"><span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/fmtea_cet\/\">Details<\/a><\/span><\/td>\n<td align=\"left\"><span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/fmtea_est\/\">Details<\/a><\/span><\/td>\n<\/tr>\n<tr>\n<td rowspan=\"4\">Tutorial<\/td>\n<td align=\"left\"><span style=\"color: #ff0000;\"><del>CBMC <\/del><\/span>(Canceled)<\/td>\n<td colspan=\"3\"><\/td>\n<\/tr>\n<tr>\n<td align=\"left\"><span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"http:\/\/dsl-course.org\/fm2021\/\">Event-B DSL<\/a><\/span> (Nov 21)<\/td>\n<td align=\"left\"><span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/eventb_dsl_cst\/\">Details<\/a><\/span><\/td>\n<td align=\"left\"><span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/eventb_dsl_cet\/\">Details<\/a><\/span><\/td>\n<td align=\"left\"><a href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/eventb_dsl_est\/\"><span style=\"color: #0000ff;\">Details<\/span><\/a><\/td>\n<\/tr>\n<tr>\n<td align=\"left\"><a href=\"https:\/\/sites.google.com\/view\/fm2021tutorialdt\/home\"><span style=\"color: #0000ff;\">FMI<\/span><\/a> (Nov 20)<\/td>\n<td align=\"left\"><span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/fmi_co_simulation_based_digital_twin\/\">Details<\/a><\/span><\/td>\n<td align=\"left\"><a href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/fmi_cet\/\"><span style=\"color: #0000ff;\">Details<\/span><\/a><\/td>\n<td align=\"left\"><span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/fmi_est\/\">Details<\/a><\/span><\/td>\n<\/tr>\n<tr>\n<td align=\"left\"><span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"https:\/\/fm21.momba.dev\/\">Momba<\/a> <\/span>(Nov 20)<\/td>\n<td align=\"left\"><a href=\"https:\/\/lcs.ios.ac.cn\/fm2021\/momba-program-cst\/\"><span style=\"color: #0000ff;\">Details<\/span><\/a><\/td>\n<td align=\"left\"><span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/momba_cet\/\">Details<\/a><\/span><\/td>\n<td align=\"left\"><span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/momba_est\/\">Details<\/a><\/span><\/td>\n<\/tr>\n<tr>\n<td><\/td>\n<td align=\"left\"><a href=\"https:\/\/sites.google.com\/view\/i-day21\"><span style=\"color: #0000ff;\">I-Day<\/span><\/a> (Nov 23)<\/td>\n<td align=\"left\"><a style=\"color: #0000ff;\" href=\"https:\/\/lcs.ios.ac.cn\/fm2021\/i_day_program_cst\/\">Details<\/a><\/td>\n<td align=\"left\"><a style=\"color: #0000ff;\" href=\"https:\/\/lcs.ios.ac.cn\/fm2021\/i_day_program_cet\/\">Details<\/a><\/td>\n<td align=\"left\"><a style=\"color: #0000ff;\" href=\"https:\/\/lcs.ios.ac.cn\/fm2021\/i_day_program_est\/\">Details<\/a><\/td>\n<\/tr>\n<tr>\n<td><\/td>\n<td><a style=\"color: #0000ff;\" href=\"https:\/\/lcs.ios.ac.cn\/fm2021\/doctoral-symposium\/\">Doctoral Symposium<\/a> (Nov 20)<\/td>\n<td><a style=\"color: #0000ff;\" href=\"https:\/\/lcs.ios.ac.cn\/fm2021\/doctoral-symposium#DocPro\">Details<\/a><\/td>\n<td><a style=\"color: #0000ff;\" href=\"https:\/\/lcs.ios.ac.cn\/fm2021\/doctoral-symposium\/#DocPro\">Details<\/a><\/td>\n<td><a style=\"color: #0000ff;\" href=\"https:\/\/lcs.ios.ac.cn\/fm2021\/doctoral-symposium\/#DocPro\">Details<\/a><\/td>\n<\/tr>\n<tr>\n<td rowspan=\"3\">Co-located Event<\/td>\n<td><a href=\"https:\/\/lcs.ios.ac.cn\/setta2021\/\"><span style=\"color: #0000ff;\">SETTA 2021<\/span><\/a> (Nov 25-27)<\/td>\n<td><span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"https:\/\/lcs.ios.ac.cn\/setta2021\/program.php\">Details<\/a><\/span><\/td>\n<td><span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"https:\/\/lcs.ios.ac.cn\/setta2021\/program.php\">Details<\/a><\/span><\/td>\n<td><span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"https:\/\/lcs.ios.ac.cn\/setta2021\/program.php\">Details<\/a><\/span><\/td>\n<\/tr>\n<tr>\n<td><span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"https:\/\/lcs.ios.ac.cn\/memocode21\/\">MEMOCODE 2021<\/a><\/span>(Nov 20-22)<\/td>\n<td><a href=\"https:\/\/lcs.ios.ac.cn\/memocode21\/program.html\"><span style=\"color: #0000ff;\">Details<\/span><\/a><\/td>\n<td><a href=\"https:\/\/lcs.ios.ac.cn\/memocode21\/program.html\"><span style=\"color: #0000ff;\">Details<\/span><\/a><\/td>\n<td><a href=\"https:\/\/lcs.ios.ac.cn\/memocode21\/program.html\"><span style=\"color: #0000ff;\">Details<\/span><\/a><\/td>\n<\/tr>\n<tr>\n<td><a href=\"http:\/\/vecos-world.org\/2021\/\"><span style=\"color: #0000ff;\">VECoS 2021<\/span> <\/a>(Nov 22-23)<\/td>\n<td><a href=\"http:\/\/vecos-world.org\/2021\/programme.html\"><span style=\"color: #0000ff;\">Details<\/span><\/a><\/td>\n<td><a href=\"http:\/\/vecos-world.org\/2021\/programme.html\"><span style=\"color: #0000ff;\">Details<\/span><\/a><\/td>\n<td><a href=\"http:\/\/vecos-world.org\/2021\/programme.html\"><span style=\"color: #0000ff;\">Details<\/span><\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/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":"","meta":[],"_links":{"self":[{"href":"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-json\/wp\/v2\/pages\/1220"}],"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=1220"}],"version-history":[{"count":47,"href":"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-json\/wp\/v2\/pages\/1220\/revisions"}],"predecessor-version":[{"id":1663,"href":"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-json\/wp\/v2\/pages\/1220\/revisions\/1663"}],"wp:attachment":[{"href":"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-json\/wp\/v2\/media?parent=1220"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}