[logic-ml] CCA 2015: First Call for Papers