International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Room | Session |
| Tue, 29.10 09:00 | Room 1 | Opening and Domain-specific Formal Languages |
| Tue, 29.10 11:00 | Room 1 | Behavioral Relations |
| Tue, 29.10 14:30 | Room 1 | Analysing Quantum Processes and Collective Adaptive Systems |
| Tue, 29.10 16:30 | Room 1 | Probability & Inference |
| Wed, 30.10 11:00 | Room 2 | Collective Adaptive and Multi-agent Systems |
| Thu, 31.10 11:00 | Room 2 | Programing and Analysing Collective Adaptive and Multi-agent Systems |
| Thu, 31.10 14:30 | Room 2 | Service Orientation and Code Generation |
| Thu, 31.10 16:30 | Room 2 | Security & Safety and Closing |