[logic-ml] Fwd: categories: CALCO Early Ideas 2015 : Call for Contributions