[logic-ml] ICALP/LICS 2015 Call for Participation