The proceedings of the fifteenth international symposium on Automated Technology for Verification and Analysis (ATVA), 2017, is available online as Springer Lecture Notes in Computer Science (LNCS), Vol. 10482.
You can find information about it at:
http://www.springer.com/978-3-319-68166-5
or access the online version at:
http://link.springer.com/openurl.asp?genre=issue&issn=0302-9743&volume=10482