[logic-ml] ESSLLI Student Seminar 2013 - First Call for Papers