International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Room | Session |
| Wed, 30.10 11:00 | Room 1 | General Issues I |
| Thu, 31.10 11:00 | Room 1 | General Issues II |
| Fri, 1.11 11:00 | Room 1 | Transparency, XAI and Meaningful Human Oversight I |
| Fri, 1.11 14:30 | Room 1 | Transparency, XAI and Meaningful Human Oversight II |
| Fri, 1.11 16:30 | Room 1 | Privacy and Fairness |
| Sat, 2.11 11:00 | Room 1 | Trust and Trustworthiness I |