Title: Proceedings of the First ACM International Symposium on Design and Analysis of Intelligent Vehicular Networks and Applications