Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
October 19, 2020 16:30, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)