[logic-ml] APLAS 2014: Call for Participation