[Proof Complexity] Simons: Proof Complexity and Meta-Mathematics Workshop next week

[Iddo Tzameret]

Dear colleagues,

Next week, starting Monday, the proof complexity and meta-mathematics
workshop takes place at Berkeley, Simons Institute.

See here for more details and schedule:
https://simons.berkeley.edu/workshops/proof-complexity-meta-mathematics

Everyone is invited to participate online. To get the Zoom link you'd need
to register on the website here, and the link will be sent to you via
email, I believe:
https://simons.berkeley.edu/workshops/proof-complexity-meta-mathematics/schedule#simons-tabs

Additionally, the talks are recorded and can be reached from Simons website
and Simons YouTube channel (and usually are streamed live on YouTube).


Kind regards,
--- Iddo