[logic-ml] MACIS 2015