[logic-ml] The 47th MLG Meeting