[logic-ml] QPL 2015: Call for papers