International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Room | Session |
| Sun, 27.10 09:00 | Room 4 | Pillar 1: the R@ISE platform |
| Sun, 27.10 11:00 | Room 4 | Pillars 2 and 3: Application and Education |