[logic-ml] CTFM 2015 Call for Participation