{"id":1328,"date":"2021-10-01T22:42:33","date_gmt":"2021-10-01T14:42:33","guid":{"rendered":"http:\/\/lcs.ios.ac.cn\/fm2021\/?page_id=1328"},"modified":"2021-12-09T14:31:45","modified_gmt":"2021-12-09T06:31:45","slug":"eventb_dsl_cet","status":"publish","type":"page","link":"http:\/\/lcs.ios.ac.cn\/fm2021\/eventb_dsl_cet\/","title":{"rendered":"Implementing an IDE for \"tiny\" Event-B with JetBrains Metaprogramming System MPS"},"content":{"rendered":"
Amsterdam Time, UTC +1:00<\/span><\/h5>\n
Sunday, November 21th<\/div>\n
09:00-10:30<\/span>Session 1<\/span><\/div>\n\n\n\n
09:00<\/td>\n\n
Mikhail Barash<\/div>\n
Implementing an IDE for \"tiny\" Event-B with\u00a0JetBrains<\/span> Metaprogramming System MPS [Video<\/a><\/span>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
10:30-11:00<\/span>Break<\/span><\/div>\n
11:00-12:30<\/span>Session 2<\/span><\/div>\n\n\n\n
11:00<\/td>\n\n
Mikhail Barash<\/div>\n
Implementing an IDE for \"tiny\" Event-B with\u00a0JetBrains<\/span> Metaprogramming System MPS [Video<\/a><\/span>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
12:30-13:00<\/span>Break<\/span><\/div>\n
13:00-14:30<\/span>Session 3<\/span><\/div>\n\n\n\n
13:00<\/td>\n\n
Mikhail Barash<\/div>\n
Implementing an IDE for \"tiny\" Event-B with\u00a0JetBrains<\/span> Metaprogramming System MPS [Video<\/a><\/span>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
14:30-15:00<\/span>Break<\/span><\/div>\n
15:00-16:30<\/span>Session 4<\/span><\/div>\n\n\n\n
15:00<\/td>\n\n
Mikhail Barash<\/div>\n
Implementing an IDE for \"tiny\" Event-B with\u00a0JetBrains<\/span> Metaprogramming System MPS [Video<\/a><\/span>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div><\/div><\/div>