International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Room | Session |
| Sun, 27.10 09:00 | Room 1 | Large ensembles and Collective Dynamics |
| Sun, 27.10 11:00 | Room 1 | Knowledge, Consciousness and Emergence |
| Sun, 27.10 14:30 | Room 1 | Automated Reasoning for Better Interaction |
| Sun, 27.10 16:30 | Room 1 | Modelling and Engineering Collective Adaptive Systems I |
| Mon, 28.10 09:00 | Room 1 | Modelling and Engineering Collective Adaptive Systems II |
| Mon, 28.10 11:00 | Room 1 | Analysing Collective Adaptive Systems I |
| Mon, 28.10 14:30 | Room 1 | Analysing Collective Adaptive Systems II |