VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016

The proceedings of VMCAI 2016 are published as Springer ARCoSS/LNCS proceedings:

http://link.springer.com/book/10.1007%2F978-3-662-49122-5

Registered conference attendees have free online access to the Springer Proceedings from January 8th, 2016 to February 2nd, 2016.
They will get instruction on how to access the proceedings per email or from the conference chairs.

Furthermore, attendees have the option to buy paper proceedings as part of their registration or on-site (while stocks last).