Beijing Time, UTC +8:00
Sunday, November 21th
16:00-17:30Session 1
| 16:00 |
Mikhail Barash
Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS [Video]
|
17:30-18:00Break
18:00-19:30Session 2
| 18:00 |
Mikhail Barash
Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS [Video]
|
19:30-20:00Break
20:00-21:30Session 3
| 20:00 |
Mikhail Barash
Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS [Video]
|
21:30-22:00Break
22:00-23:30Session 4
| 22:00 |
Mikhail Barash
Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS [Video]
|