Re: [logic-ml] CFP: 55th TRS Meeting, September 28 -- 30, 2021, Online