[Proof Complexity] Upcoming talk: Jiatu Li (MIT)

[Igor Carboni Oliveira]

Hi everyone,

We will have our next presentation on *Thursday (4/December)* at *5pm
London time*.

*Jiatu Li* (MIT): *On the Time Complexity of Feasible Proofs
<https://eccc.weizmann.ac.il/report/2025/187/>*

You can find more information about the talk at
*https://sites.google.com/view/igorcarbonioliveira/online-complexity-seminar*
<https://sites.google.com/view/igorcarbonioliveira/online-complexity-seminar>
(The
Zoom link is available on the same page.)

Best regards,
Igor