Победитель конкурса тревел-грантов «School» (по математике) – студент 5 курса механико-математического факультета МГУ имени М.В. Ломоносова Пшеницын Тихон – принял участие в работе Международной школы в Ирландии «33rd European Summer School on Logic, Language and Information» («33-я Европейская летняя школа по логике, языку и информации»).
Школа проходила в г. Голуэй (Ирландия) с 7 по 19 августа 2022 года.
Организаторы: John P. McCrae, Matthias Nickles, MihaelArcan, Paul Buitelaar, Dhairya Dalal, Theodorus Fransen, Ciara O'Loughlin, Cécile Robin и Larry Moss.
«Школа ESSLLI уникальна тем, что предлагает курсы на стыке логики, лингвистики и компьютерных наук, причем на разных уровнях абстракции и применимости к реальному языковому материалу. Важно, что большинство курсов посвящены современной науке, ее state-of-art, и читаются они ведущими исследователями в данных областях. Скажем, на школе был прочитан курс Compositional Models of Vector-based Semantics: From Theory to Tractable Implementation; лекторы – Michael Moortgat и Gijs Wijnholds – одновременно являются и авторами (соавторами) ключевых статей по векторной и тензорной семантике с использованием исчисления Ламбека, а также по мультимодальному исчислению Ламбека, которым и был посвящен курс; они рассказывали об исследованиях буквально текущего года.
Отдельно хочется выразить симпатию курсу Questions in Logic и его лектору Ivano Ciardelli. На курсе было дано введение в inquisitive logic – расширение классической логики, включающее в себя возможность формализации вопросительных предложений. Было любопытно узнать, как можно естественным образом модифицировать фундаментальный аппарат классической логики и успешно моделировать с его помощью не только утверждения, но и вопросы.
Помимо этих курсов, на школе удалось посетить занятия по следующим темам: введение в формальную семантику; применение теории категорий к играм Эренфойхта, бисимуляционным играм и о их связи с изучением логической эквивалентности и логического следования; гиперсеквенциальное исчисление и фокусировка для классической и модальных логик; использование теоретико-категорного понятия функторов в формальной семантике; алгоритмическая сложность проблем для алгебр Клини и алгебр действий. Также я посещал доклады на студенческой конференции школы, на которой был одним из соорганизаторов (co-chair). Ещё до школы я помогал с набором рецензентов и отбором работ, на школе же модерировал одно из заседаний конференции.
Наконец, очень ценным на школе было общение с различными людьми, преподавателями и сверстниками, обмен опытом по решению задач – в уютной атмосфере ирландского города Голуэй», - поделился впечатлениями Тихон Пшеницын.
Фонд «БАЗИС», предоставляя тревел-гранты на участие молодых ученых в работе лучших международных школ по фундаментальной математике, рассчитывает на активное развитие научно-исследовательской деятельности российских ученых и их интеграцию в мировое научное сообщество.
Ознакомиться с текущим списком финалистов конкурса «School» (тревел-гранты) можно в разделе «Список победителей» 2022 года.
