International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | Automation vs Autonomy | Daniel Busch, Maximilian Schlüter, Bernhard Steffen |
| 11:30 | AI-Assisted Requirements Specification | Ezio Bartocci |
| 12:00 | Panel |