The goal of ensuring safe mobility has been at the forefront of government agencies and industry since the introduction of the mechanized transportation. Connected vehicle technologies were initially introduced to allow vehicle to vehicle and vehicle to infrastructure systems to enable the next generation of safe vehicles. Similarly, autonomous vehicles has often been looked at as a way to reduce accidents and fatalities, often associated with human error. However, fulfilling the promise of vision zero (zero deaths, accidents, etc.) is still a long way off (or maybe not possible at all?). This workshop is aimed at understanding if it is possible to build provably safe vehicles that operate in the presence of humans, both as passengers of the AVs and as pedestrians, bicyclists, etc.