International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
ISoLA and AISoLA provide an open forum for discussions about recent scientific progress and its implications. ISoLA 2026 runs October 24–28, focusing on rigorous tools for specification, analysis, verification, certification, construction, test, and maintenance of systems. AISoLA 2026 runs October 27–31, fostering interdisciplinary discourse on the impact of recent advances in AI. Venue: Mitsis Selection Blue Domes.
| 09:00 |
| 09:30 |
| 10:00 |
| 10:30 |
| 11:00 |
| 11:30 |
| 12:00 |
| 12:30 |
| 13:00 |
| 13:30 |
| 14:00 |
| 14:30 |
| 15:00 |
| 15:30 |
| 16:00 |
| 16:30 |
| 17:00 |
| 17:30 |
Coffee Break (10:30) |
Lunch (12:30) |
Coffee Break (16:00) |
| 08:45 |
| 09:15 |
| 09:45 |
| 10:15 |
| 10:45 |
| 11:15 |
| 11:45 |
| 12:15 |
| 12:45 |
| 13:15 |
| 13:45 |
| 14:15 |
| 14:45 |
| 15:15 |
| 15:45 |
| 16:15 |
| 16:45 |
| 17:15 |
| 17:45 |
| 18:15 |
| 18:45 |
| 19:15 |
| 19:45 |
Coffee Break (10:30) |
Lunch (12:30) |
Coffee Break (16:00) |
Reception |
| 09:00 |
| 09:30 |
| 10:00 |
| 10:30 |
| 11:00 |
| 11:30 |
| 12:00 |
| 12:30 |
| 13:00 |
| 13:30 |
| 14:00 |
| 14:30 |
| 15:00 |
| 15:30 |
| 16:00 |
| 16:30 |
| 17:00 |
| 17:30 |
| 18:00 |
| 18:30 |
| 19:00 |
| 19:30 |
Coffee Break (10:30) |
Lunch (12:30) |
Coffee Break (16:00) |
Coffee Break (10:30) |
Lunch (12:30) |
Coffee Break (16:00) |
Coffee Break (10:30) |
Lunch (12:30) |
Coffee Break (16:00) |
| 08:45 |
| 09:15 |
| 09:45 |
| 10:15 |
| 10:45 |
| 11:15 |
| 11:45 |
| 12:15 |
| 12:45 |
| 13:15 |
| 13:45 |
| 14:15 |
| 14:45 |
| 15:15 |
| 15:45 |
| 16:15 |
| 16:45 |
| 17:15 |
| 17:45 |
| 09:00 |
| 09:30 |
| 10:00 |
| 10:30 |
| 11:00 |
| 11:30 |
| 12:00 |
| 12:30 |
| 13:00 |
| 13:30 |
| 14:00 |
| 14:30 |
| 15:00 |
| 15:30 |
| 16:00 |
| 16:30 |
| 17:00 |
| 17:30 |
| 18:00 |
| 09:00 |
| 09:30 |
| 10:00 |
| 10:30 |
| 11:00 |
| 11:30 |
| 12:00 |
| 12:30 |
| 13:00 |
| 13:30 |
| 14:00 |
| 14:30 |
| 15:00 |
| 15:30 |
| 16:00 |
| 16:30 |
| 17:00 |
| 17:30 |
| 09:00 |
| 09:30 |
| 10:00 |
| 10:30 |
| 11:00 |
| 11:30 |
| 12:00 |
| 12:30 |
| 13:00 |
| 13:30 |
| 14:00 |
| 14:30 |
| 15:00 |
| 15:30 |
| 16:00 |
| 16:30 |
| 17:00 |
| 17:30 |
| 18:00 |
Coffee Break (10:30) |
Lunch (12:30) |
Coffee Break (16:00) |