[logic-ml] Project colloquium talk by Takeo Uramoto on 22 February