International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Track | Session |
| Sun, 27.10 09:00 | R@ISE: Low-Code/No-Code Plattform and Applications | Pillar 1: the R@ISE platform |
| Sun, 27.10 11:00 | R@ISE: Low-Code/No-Code Plattform and Applications | Pillars 2 and 3: Application and Education |
| Sun, 27.10 14:30 | Doctoral Symposium | Low Code/No Code |
| Sun, 27.10 16:30 | Doctoral Symposium | Model-Driven Engineering |
| Wed, 30.10 11:00 | Doctoral Symposium | Human Interaction |
| Thu, 31.10 11:00 | Verification and Learning for Assured Autonomy | Control/Robotics/CPS I |
| Thu, 31.10 14:30 | Verification and Learning for Assured Autonomy | ML/AI I |
| Thu, 31.10 16:30 | Verification and Learning for Assured Autonomy | FM/Probabilistic Programming I |
| Sat, 2.11 11:00 | Safe Autonomous Vehicles | Session 2 |