International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 18:30 | Physical Space Modelling For Reconfigurable Interacting Systems | Yehia Abd Alrahman, Tom de Ridder |
| 19:00 | A Generalized Architecture for Orchestrating Assembly in a Self-Organizing Production Cell | Oliver Kosak, Philipp Kastenmüller, Kilian Keßler, Christian Lehner, Hella Ponsar, Wolfgang Reif |
| 19:30 | Swarm-Based Continuous Surveillance of Unknown 3D Structures Using Drones | Oliver Kosak, Felix Nebel, Vinzenz Malke, Wolfgang Reif |