International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | Systematic Translation from Natural Language Robot Task Descriptions to STL | Jyo Deshmukh |
| 11:30 | Panel and Closing |