International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Track | Session |
| Sun, 25.10 09:00 | DocSym | DocSym |
| Sun, 25.10 11:00 | DocSym | DocSym |
| Sun, 25.10 14:30 | LCNC | LCNC |
| Sun, 25.10 16:30 | Digital Humanities (GreatLeap) | Digital Humanities (GreatLeap) |
| Mon, 26.10 11:00 | Digital Humanities (GreatLeap) | Digital Humanities (GreatLeap) |