International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Room | Session |
| Tue, 27.10 11:00 | Room 1 | Human Oversight |
| Tue, 27.10 13:30 | Room 1 | Meeting Risks of AI (1) |
| Wed, 28.10 11:00 | Room 1 | Meeting Risks of AI (2) |
| Wed, 28.10 12:00 | Room 1 | AI for Good (1) |
| Wed, 28.10 14:30 | Room 1 | AI for Good (2) |
| Wed, 28.10 15:00 | Room 1 | XAI (1) |
| Thu, 29.10 11:00 | Room 1 | XAI (2) |
| Thu, 29.10 14:30 | Room 1 | AI, Responsibility and Authorship |
| Thu, 29.10 16:30 | Room 1 | AI Alignment (1) |
| Fri, 30.10 11:00 | Room 1 | AI Alignment (2) |