{"id":1054,"date":"2021-04-08T20:15:51","date_gmt":"2021-04-08T12:15:51","guid":{"rendered":"http:\/\/lcs.ios.ac.cn\/fm2021\/?page_id=1054"},"modified":"2021-05-12T09:18:41","modified_gmt":"2021-05-12T01:18:41","slug":"workshops-and-tutorials","status":"publish","type":"page","link":"http:\/\/lcs.ios.ac.cn\/fm2021\/workshops-and-tutorials\/","title":{"rendered":"Workshops and Tutorials"},"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><span style=\"color: #22a0b9;\">FMTea: Formal Methods Teaching (Workshop and Tutorial)<\/span><\/h5>\n<p><strong>Website<\/strong>: <span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"https:\/\/fmtea.github.io\">https:\/\/fmtea.github.io\/<\/a><\/span><\/p>\n<p><strong>Organizers<\/strong>: Jo\u00e3o Ferreira, Alexandra Mendes, Claudio Menghi<\/p>\n<hr \/>\n<h5><span style=\"color: #22a0b9;\">appFM: Applicable Formal Methods (Workshop)<\/span><\/h5>\n<p><strong>Website<\/strong>: <span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"https:\/\/sites.google.com\/view\/appfm21\/\">https:\/\/sites.google.com\/view\/appfm21\/<\/a><\/span><\/p>\n<p><strong>Organizers<\/strong>: Mario Gleirscher, Jaco van de Pol, Jim Woodcock<\/p>\n<hr \/>\n<h5><span style=\"color: #22a0b9;\">Implementing an IDE for \"tiny\" Event-B with JetBrains Metaprogramming System MPS (Tutorial)<\/span><\/h5>\n<p><strong>Website<\/strong>: <span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"http:\/\/dsl-course.org\/fm2021\/\">http:\/\/dsl-course.org\/fm2021\/<\/a><\/span><\/p>\n<p><strong>Organizer:<\/strong> Mikhail Barash<\/p>\n<hr \/>\n<h5><span style=\"color: #22a0b9;\">FMI Co-simulation Based Digital Twin (Tutorial)<\/span><\/h5>\n<p><strong>Website<\/strong>: <span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"https:\/\/sites.google.com\/view\/fm2021tutorialdt\/home\">https:\/\/sites.google.com\/view\/fm2021tutorialdt\/home<\/a><\/span><\/p>\n<p><strong>Organizer<\/strong>: Peter Gorm Larsen, Casper Thule, Cl\u00e1udio Gomes,\u00a0 John Fitzgerald, Ken Pierce,\u00a0 Hao Feng, Mirgita Frasheri, Simon Thrane Hansen, Hugo Daniel Macedo, Frederik Palludan Madsen<\/p>\n<hr \/>\n<h5><span style=\"color: #22a0b9;\">Momba: Python for Quantitative Models (Tutorial)<\/span><\/h5>\n<p><strong>Website<\/strong>: <a style=\"color: #0000ff;\" href=\"https:\/\/fm21.momba.dev\">https:\/\/fm21.momba.dev\u00a0<\/a><\/p>\n<p><strong>Organizer:\u00a0<\/strong>Holger Hermanns, Maximilian K\u00f6hl<\/p>\n<hr \/>\n<h5><span style=\"color: #22a0b9;\">Continuous Verification using CBMC (Tutorial)<\/span><\/h5>\n<p><strong>Organizer<\/strong>: Michael Tautschnig<\/p>\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\/1054"}],"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=1054"}],"version-history":[{"count":21,"href":"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-json\/wp\/v2\/pages\/1054\/revisions"}],"predecessor-version":[{"id":1102,"href":"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-json\/wp\/v2\/pages\/1054\/revisions\/1102"}],"wp:attachment":[{"href":"http:\/\/lcs.ios.ac.cn\/fm2021\/wp-json\/wp\/v2\/media?parent=1054"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}