Tutorials
Research Papers
Invited Talks

Times are depicted in China Standard Time (CST)

  Time  Title
Day 1
Saturday 20th - Sunday 21st November 2021
Session 1: 16:00 - 17:30

Tutorials:

tutorial 1: FMI Co-simulation Based Digital Twin (Peter Gorm Larsen, Hao Feng, Michael Sandberg)

tutorial 2: Momba

17:30 - 18:00 Break
Session 2: 18:00 - 19:30

Tutorials:

tutorial 1: FMI Co-simulation Based Digital Twin (Peter Gorm Larsen, Hao Feng, Michael Sandberg)

tutorial 2: Momba

19:30 - 20:00 Break
Session 3: 20:00 - 21:30

Tutorials:

tutorial 1: FMI Co-simulation Based Digital Twin (Simon Thrane Hansen, Frederik Palludan Madsen)

tutorial 3: Continuous Verification using CBMC (Michael Tautschnig)

21:30 - 22:00 Break
Session 4: 22:00 - 23:00

Tutorials:

tutorial 1: FMI Co-simulation Based Digital Twin (Mirgita Frasheri, Hugo Daniel Macedo, Ken Pierce, Cláudio Gomes)

tutorial 3: Continuous Verification using CBMC (Michael Tautschnig)

Day 2
Sunday 21st - Monday 22nd November 2021
Session 1: 16:00 - 17:30

Tutorials:

tutorial 4:FMTea

tutorial 5: Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS

17:30 - 18:00 Break
Session 2: 18:00 - 19:30

Tutorials:

tutorial 4:FMTea

tutorial 5: Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS

19:30 - 20:00 Break
Session 3: 20:00 - 21:30

Tutorials:

tutorial 4:FMTea

tutorial 5: Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS (Mikhail Barash)

21:30 - 22:00 Break
Session 4: 22:00 - 23:00

Tutorials:

tutorial 4:FMTea

tutorial 5: Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS  (Mikhail Barash)