Amsterdam Time, UTC +1:00
Sunday, November 21th
09:00-10:30Session 1
| 09:00 |
Mikhail Barash
Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS [Video]
|
10:30-11:00Break
11:00-12:30Session 2
| 11:00 |
Mikhail Barash
Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS [Video]
|
12:30-13:00Break
13:00-14:30Session 3
| 13:00 |
Mikhail Barash
Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS [Video]
|
14:30-15:00Break
15:00-16:30Session 4
| 15:00 |
Mikhail Barash
Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS [Video]
|