International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 14:30 | Towards Correct-by-Construction Legal Explanations for Intersymbolic Conversational Interfaces to Governmental Agencies | Thomas Hildebrandt |