Грант «School»: аспирант Математического института им. В. А. Стеклова РАН на школе «The 6th Proof Society International School and Workshop» в Великобритании

Победитель конкурса тревел-грантов «School» (категория «Общая») – аспирант Математического института им. В. А. Стеклова РАН Пшеницын Тихон – при поддержке фонда «Базис» принял участие в работе международной школы «The 6th Proof Society International School and Workshop ». Школа проходила с 9 по 13 сентября 2024 года в Великобритании, г. Бирмингем. Организатор: Anupam Das (University of Birmingham). В область научных интересов грантополучателя входят: формальные грамматики, исчисление Ламбека, субструктурные логики, алгоритмическая сложность Список прослушанных курсов: The Curry-Howard...