[logic-ml] seminar