The accepted CASC 2015 papers will be published in the Springer-Verlag series

 Lecture Notes in Computer Sciences as vol LNCS 9301