International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | Assurance of Neural Network-based Safety-Critical Avionics with Formal Methods | Arthur Clavière, Dmitrii Kirov |
| 11:30 | Control-Oriented Deductive Verification of Autonomous Vehicles | Mario Gleirscher |
| 12:00 | A glance on futures of machine learning specification and verification | Julien Girard-Satabin, Ekaterina Komendantskaya |