Re: [logic-ml] Project colloquium by Tomoo Yokoyama on 30 May