|
Tuesday, May 9, 2023 |
|||
|
May 9 |
4:15 p.m. - 5:45 p.m. |
CS 201 | Verifying Array Programs Sans Loop Invariants, SUPRATIK CHAKRABORTY, Indian Institute of Technology | Mumbai
|
|
|||
Thursday, May 11, 2023 |
|||
|
May 11 |
4:15 p.m. - 5:45 p.m. |
CS 201 | Breaking Language Barriers with Massive Multilingual Machine Translation, LEI LI, UC Santa Barbara
|