[Proof Complexity] Upcoming talk: Mikito Nanashima (Institute of Science Tokyo)

[Igor Carboni Oliveira]

Hi everyone,

We will have our next presentation on *Thursday (11/September)* at *11am
London time*.

*Speaker*: *Mikito Nanashima* (Institute of Science Tokyo)
*Title*: *Complexity-Theoretic Inductive Inference*

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