[logic-ml] QPL 2014: Call for Papers