The accepted CASC 2016 papers are published in the Springer-Verlag series Lecture Notes in Computer Science, volume 9890.

Get online access to the proceedings here.