{"id":1242,"date":"2021-10-01T10:52:54","date_gmt":"2021-10-01T02:52:54","guid":{"rendered":"http:\/\/lcs.ios.ac.cn\/fm2021\/?page_id=1242"},"modified":"2021-12-09T14:31:38","modified_gmt":"2021-12-09T06:31:38","slug":"eventb_dsl_cst","status":"publish","type":"page","link":"http:\/\/lcs.ios.ac.cn\/fm2021\/eventb_dsl_cst\/","title":{"rendered":"Implementing an IDE for \"tiny\" Event-B with JetBrains Metaprogramming System MPS"},"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\"><h5 style=\"text-align: center;\"><span style=\"color: #ff0000;\">Beijing Time, UTC +8:00<\/span><\/h5>\n<div style=\"text-align: center; padding: 5pt 0pt 5pt 0pt; font-size: 12pt; margin: 4pt 0pt 4pt 0pt; background-color: #d4d4d4;\">Sunday, November 21th<\/div>\n<div style=\"font-size: 12pt; background-color: #d8e5e9; padding: 4pt 5pt 3pt 5pt; margin: 3pt 0pt 1pt 0pt; color: #555;\"><span style=\"color: #666; font-weight: bold;\">16:00-17:30<\/span><span style=\"margin-left: 16pt;\">Session 1<\/span><\/div>\n<table style=\"margin: 2pt 0pt 2pt 0pt;\">\n<tbody>\n<tr style=\"vertical-align: top;\">\n<td style=\"padding: 0pt 5pt 0pt 5pt; margin: 0pt 0pt 0pt 0pt;\">16:00<\/td>\n<td>\n<div>Mikhail Barash<\/div>\n<div><strong>Implementing an IDE for \"tiny\" Event-B with\u00a0<span class=\"SpellE\">JetBrains<\/span> Metaprogramming System MPS [<span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/recordings\/eventb\/session1.mp4\">Video<\/a><\/span>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<div style=\"font-size: 12pt; background-color: #eeeed9; padding: 3pt 5pt 3pt 5pt; margin: 3pt 0pt 1pt 0pt;\"><span style=\"font-weight: bold; color: #555;\">17:30-18:00<\/span><span style=\"margin-left: 14pt; padding-left: 18pt; color: #555;\">Break<\/span><\/div>\n<div style=\"font-size: 12pt; background-color: #d8e5e9; padding: 4pt 5pt 3pt 5pt; margin: 3pt 0pt 1pt 0pt; color: #555;\"><span style=\"color: #666; font-weight: bold;\">18:00-19:30<\/span><span style=\"margin-left: 16pt;\">Session 2<\/span><\/div>\n<table style=\"margin: 2pt 0pt 2pt 0pt;\">\n<tbody>\n<tr style=\"vertical-align: top;\">\n<td style=\"padding: 0pt 5pt 0pt 5pt; margin: 0pt 0pt 0pt 0pt;\">18:00<\/td>\n<td>\n<div>Mikhail Barash<\/div>\n<div><strong>Implementing an IDE for \"tiny\" Event-B with\u00a0<span class=\"SpellE\">JetBrains<\/span> Metaprogramming System MPS [<span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/recordings\/eventb\/session2.mp4\">Video<\/a><\/span>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<div style=\"font-size: 12pt; background-color: #eeeed9; padding: 3pt 5pt 3pt 5pt; margin: 3pt 0pt 1pt 0pt;\"><span style=\"font-weight: bold; color: #555;\">19:30-20:00<\/span><span style=\"margin-left: 14pt; padding-left: 18pt; color: #555;\">Break<\/span><\/div>\n<div style=\"font-size: 12pt; background-color: #d8e5e9; padding: 4pt 5pt 3pt 5pt; margin: 3pt 0pt 1pt 0pt; color: #555;\"><span style=\"color: #666; font-weight: bold;\">20:00-21:30<\/span><span style=\"margin-left: 16pt;\">Session 3<\/span><\/div>\n<table style=\"margin: 2pt 0pt 2pt 0pt;\">\n<tbody>\n<tr style=\"vertical-align: top;\">\n<td style=\"padding: 0pt 5pt 0pt 5pt; margin: 0pt 0pt 0pt 0pt;\">20:00<\/td>\n<td>\n<div>Mikhail Barash<\/div>\n<div><strong>Implementing an IDE for \"tiny\" Event-B with\u00a0<span class=\"SpellE\">JetBrains<\/span> Metaprogramming System MPS [<span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/recordings\/eventb\/session3.mp4\">Video<\/a><\/span>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<div style=\"font-size: 12pt; background-color: #eeeed9; padding: 3pt 5pt 3pt 5pt; margin: 3pt 0pt 1pt 0pt;\"><span style=\"font-weight: bold; color: #555;\">21:30-22:00<\/span><span style=\"margin-left: 14pt; padding-left: 18pt; color: #555;\">Break<\/span><\/div>\n<div style=\"font-size: 12pt; background-color: #d8e5e9; padding: 4pt 5pt 3pt 5pt; margin: 3pt 0pt 1pt 0pt; color: #555;\"><span style=\"color: #666; font-weight: bold;\">22:00-23:30<\/span><span style=\"margin-left: 16pt;\">Session 4<\/span><\/div>\n<table style=\"margin: 2pt 0pt 2pt 0pt;\">\n<tbody>\n<tr style=\"vertical-align: top;\">\n<td style=\"padding: 0pt 5pt 0pt 5pt; margin: 0pt 0pt 0pt 0pt;\">22:00<\/td>\n<td>\n<div>Mikhail Barash<\/div>\n<div><strong>Implementing an IDE for \"tiny\" Event-B with\u00a0<span class=\"SpellE\">JetBrains<\/span> Metaprogramming System MPS [<span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"http:\/\/lcs.ios.ac.cn\/fm2021\/recordings\/eventb\/session4.mp4\">Video<\/a><\/span>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/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":"","meta":[],"_links":{"self":[{"href":"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-json\/wp\/v2\/pages\/1242"}],"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=1242"}],"version-history":[{"count":13,"href":"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-json\/wp\/v2\/pages\/1242\/revisions"}],"predecessor-version":[{"id":1661,"href":"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-json\/wp\/v2\/pages\/1242\/revisions\/1661"}],"wp:attachment":[{"href":"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-json\/wp\/v2\/media?parent=1242"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}