The workshop aims at bringing together researchers and practitioners from the verification of cyber-physical systems.