San Francisco Time, UTC -8:00
Sunday, November 21th
00:00-01:30Session 1
| 00:00 |
Mikhail Barash
Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS [Video]
|
01:30-02:00Break
02:00-03:30Session 2
| 02:00 |
Mikhail Barash
Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS [Video]
|
03:30-04:00Break
04:00-05:30Session 3
| 04:00 |
Mikhail Barash
Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS [Video]
|
05:30-06:00Break
06:00-07:30Session 4
| 06:00 |
Mikhail Barash
Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS [Video]
|