Hi folks,
Like discussed during the last meeting last year, we need to find a new time for meetings this term!
Please fill out this when2meet so we can find a new time:
https://www.when2meet.com/?28349980-uscdT
No meeting today, but a reminder to fill out the when2meet!
Looks like the winner is going to be 3CT. We’ll meet starting next Tuesday (as many folks this week are at the MLIR meeting).