[Proof Complexity] Upcoming talk: Bruno Cavalar (Oxford)

[Igor Carboni Oliveira]

Hi everyone,

We will have our next presentation on *Wednesday (20/August) *at* 5pm
London time*.

*Speaker*: *Bruno Cavalar* (Oxford)
*Title*: *Monotone Circuit Complexity of Matching*

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

Best regards,
Igor