Proceedings of the Int'l ACM Symposium on Design and Analysis of Intelligent Vehicular Networks and Applications