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