[logic-ml] The 45th MLG Meeting