[logic-ml] Final Call for Participation: MOL 12