Seminar "Probabilistic and Substructural Logical Systems," lead by S.L. Kuznetsov and S.O. Speranski
April 22, 2025 16:00, Steklov Mathematical Institute, Room 530 (8 Gubkina)