[logic-ml] QPL 2014: Final Call for Papers