[logic-ml] The 46th MLG Meeting