International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Room | Session |
| Sat, 31.10 09:00 | Room 1 | Verifiction |
| Sat, 31.10 11:00 | Room 1 | Verification |
| Sat, 31.10 14:30 | Room 1 | From Fiction |
| Sat, 31.10 16:30 | Room 1 | to Reality |