Logic Seminar in Semester I AY 2022/2023

Usual meeting time: Wednesdays, 17:00-18:00 hrs, either Zoom (overseas speaker) or S17#04-05 (local speaker).
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.