Logic Seminar in Semester I AY 2021/2022

Talks are Wednesday afternoon from 16:00 to 17:00 hrs via Zoom; the timing was chosen as one of the organisers (Yang Yue) has to teach from 17:00 hrs onwards on Wednesday. Meeting ID: 830 4925 8042 Passcode: Compute z where z is the first number equal to x3+y3 in two ways. Then use Passcode z=x3+y3 where z is a fourdigit number and x,y are only variable names not to be replaced. Talks from the previous semesters.