[logic-ml] Deadline tomorrow: Call for participation (PPL 2014)