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