[logic-ml] [LORI-VI] 1st Call for Participation