#матлог #учёба #спецсеминар
11 марта 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
К.А. Ковалёв (МИАН)
О неразрешимости теории поля рациональных чисел и теории натуральных чисел с функцией последователя и отношением делимости – 2
Аннотация:
Мы разберём результат об определимости сложения и умножения в структуре (N; s, |) — отношение делимости и покажем, что (N; +, *, =) интерпретируема в (N; s, \bot) [где \bot — отношение взаимной простоты, т.е. x \bot y означает, что x и y не имеют общих простых делителей]. Также мы обсудим связь определимости сложения и умножения в (N; s, \bot) с гипотезой Эрдёша–Вудса.
Общая аннотация серии:
Планируется разобрать доказательства двух важных результатов Джулии Робинсон, связанных с неразрешимостью теорий структур (Q; +, *, =) и (N; s, |), где s обозначает функцию последователя, а | — отношение делимости. Точнее, в первой из этих структур оказываются определимы натуральные числа, а во второй — сложение и умножение. Как следствие, обе теории имеют сложность \Pi^0_\inf. Мы также обсудим смежные результаты и открытые вопросы в данной области. Один из самых известных таких вопросов — об определимости сложения и умножения в структуре (N; s, \bot), где x \bot y означает, что x и y взаимно просты, т.е. не имеют общих простых делителей. Этот вопрос тесно связан с интересной и по-прежнему открытой теоретико-числовой гипотезой, именуемой гипотезой Эрдёша–Вудса. Вместе с тем известно, что (N; +, *, =) интерпретируема в (N; s, \bot), а потому теория последней также имеет сложность \Pi^0_\inf.
Рассказ будет разбит на два заседания семинара. Первая часть будет посвящена определимости натуральных чисел в поле рациональных чисел, а вторая — определимости сложения и умножения в (N; S, |), а также обсуждению определимости в (N; S, 丄) и гипотезе Эрдёша–Вудса.
➰ ВК
11 марта 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
К.А. Ковалёв (МИАН)
О неразрешимости теории поля рациональных чисел и теории натуральных чисел с функцией последователя и отношением делимости – 2
Аннотация:
Мы разберём результат об определимости сложения и умножения в структуре (N; s, |) — отношение делимости и покажем, что (N; +, *, =) интерпретируема в (N; s, \bot) [где \bot — отношение взаимной простоты, т.е. x \bot y означает, что x и y не имеют общих простых делителей]. Также мы обсудим связь определимости сложения и умножения в (N; s, \bot) с гипотезой Эрдёша–Вудса.
Общая аннотация серии:
Планируется разобрать доказательства двух важных результатов Джулии Робинсон, связанных с неразрешимостью теорий структур (Q; +, *, =) и (N; s, |), где s обозначает функцию последователя, а | — отношение делимости. Точнее, в первой из этих структур оказываются определимы натуральные числа, а во второй — сложение и умножение. Как следствие, обе теории имеют сложность \Pi^0_\inf. Мы также обсудим смежные результаты и открытые вопросы в данной области. Один из самых известных таких вопросов — об определимости сложения и умножения в структуре (N; s, \bot), где x \bot y означает, что x и y взаимно просты, т.е. не имеют общих простых делителей. Этот вопрос тесно связан с интересной и по-прежнему открытой теоретико-числовой гипотезой, именуемой гипотезой Эрдёша–Вудса. Вместе с тем известно, что (N; +, *, =) интерпретируема в (N; s, \bot), а потому теория последней также имеет сложность \Pi^0_\inf.
Рассказ будет разбит на два заседания семинара. Первая часть будет посвящена определимости натуральных чисел в поле рациональных чисел, а вторая — определимости сложения и умножения в (N; S, |), а также обсуждению определимости в (N; S, 丄) и гипотезе Эрдёша–Вудса.
➰ ВК
#матлог #спецсеминар #нпммвя
В ближайший четверг 12 марта в 18:00 состоится продолжение доклада Олега Игоревича Беляева «ЛФГ и категориальные грамматики» на семинаре «Некоторые применения математических методов в языкознании» в Математическом институте им. В.А. Стеклова РАН (с возможностью подключения онлайн).
Время: 12 марта, 18:00-19:30 (❗новое время проведения семинара!).
Место: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 104. Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт.
Ссылка для регистрации: https://docs.google.com/forms/d/e/1FAIpQLSeJZoVLk-YDPfTBpPqe6h5god1i99MPDinD2GToTHv-96hQ9w/viewform?usp=sharing&ouid=108842334511904121532
(все зарегистрировавшиеся получат ссылку для онлайн-подключения)
➰ ВК
В ближайший четверг 12 марта в 18:00 состоится продолжение доклада Олега Игоревича Беляева «ЛФГ и категориальные грамматики» на семинаре «Некоторые применения математических методов в языкознании» в Математическом институте им. В.А. Стеклова РАН (с возможностью подключения онлайн).
Время: 12 марта, 18:00-19:30 (❗новое время проведения семинара!).
Место: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 104. Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт.
Ссылка для регистрации: https://docs.google.com/forms/d/e/1FAIpQLSeJZoVLk-YDPfTBpPqe6h5god1i99MPDinD2GToTHv-96hQ9w/viewform?usp=sharing&ouid=108842334511904121532
(все зарегистрировавшиеся получат ссылку для онлайн-подключения)
➰ ВК
Google Docs
НПММвЯ: доклад Ани Шатских 7 мая
Заседание пройдет в четверг 7 мая в 18:00 очно в Математическом институте им. В.А. Стеклова РАН с возможностью онлайн-подключения.
Проход в здание осуществляется по пропускам научных или образовательных организаций либо по паспорту.
Ссылка на зум будет разослана…
Проход в здание осуществляется по пропускам научных или образовательных организаций либо по паспорту.
Ссылка на зум будет разослана…
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Семинар отдела математической логики МИАН, Logic Online Seminar (https://www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk
16.03.2026, совместное заседание с семинаром С. И. Адяна,
А. Л. Таламбуца (МИАН, https://www.mathnet.ru/person20324): О проблеме равенства в минимально бесконечных группах (очный доклад)
Минимально бесконечной группой называется бесконечная группа, любая нетривиальная факторизация даёт конечную группу. В докладе будет рассмотрена проблема равенства слов для минимально бесконечных групп, заданных конечным или перечислимым множеством соотношений. В случае конечного числа порождающих будет доказано, что разрешима общая проблема равенства, когда задание группы также даётся алгоритму на вход. Доказательство использует идеи из классических результатов о разрешимости проблемы равенства слов: теоремы Кузнецова о простых группах и теоремы Дайсон-Мостовского о финитно аппроксимируемых группах. В случае счётного числа порождающих будет установлено, что общая проблема равенства для данного класса неразрешима, а разрешимость частной проблемы равенства существенно зависит от структурных свойств группы, а также от выбора её задания.
➰ ВК
Семинар отдела математической логики МИАН, Logic Online Seminar (https://www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk
16.03.2026, совместное заседание с семинаром С. И. Адяна,
А. Л. Таламбуца (МИАН, https://www.mathnet.ru/person20324): О проблеме равенства в минимально бесконечных группах (очный доклад)
Минимально бесконечной группой называется бесконечная группа, любая нетривиальная факторизация даёт конечную группу. В докладе будет рассмотрена проблема равенства слов для минимально бесконечных групп, заданных конечным или перечислимым множеством соотношений. В случае конечного числа порождающих будет доказано, что разрешима общая проблема равенства, когда задание группы также даётся алгоритму на вход. Доказательство использует идеи из классических результатов о разрешимости проблемы равенства слов: теоремы Кузнецова о простых группах и теоремы Дайсон-Мостовского о финитно аппроксимируемых группах. В случае счётного числа порождающих будет установлено, что общая проблема равенства для данного класса неразрешима, а разрешимость частной проблемы равенства существенно зависит от структурных свойств группы, а также от выбора её задания.
➰ ВК
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 13.03.2026 в 16:20
Докладчик: Лев Дворкин
Тема: Бисимуляционные произведения и интерполяционные свойства в модальных логиках
Аннотация:
Доклад посвящен теоретико-модельному методу доказательства интерполяционных свойств Крейга (CIP) и Линдона (LIP) в нормальных модальных логиках. Основой метода является конструкция бисимуляционного произведения на шкалах Крипке, которая двойственна конструкции амальгам специального вида в соответствующих классах булевых алгебр с операторами.
В диссертации Маркса (1995) [1] было показано, что если каноническая логика сохраняется при бисимуляционных произведениях, то она обладает CIP. В докладе будет показано, что на самом деле из этих посылок следует более сильный результат — наличие LIP.
Далее, следуя работе Маркса, мы рассмотрим классы логик, для которых применима эта теорема. К ним относятся логики, чьи классы шкал определяются хорновскими формулами первого порядка (K, KT, K4, S4), а также их расширения замкнутыми формулами.
Отдельное внимание будет уделено нетривиальным случаям, где прямое применение теоремы невозможно, но метод бисимуляционных произведений всё ещё работает благодаря модификациям конструкции:
* Для логики S4.1 сохранение имеет место только при конечных бисимуляционных произведениях, чего, однако, оказывается достаточно для доказательства интерполяции.
* Логика S4.2 не сохраняется при бисимуляционных произведениях произвольных шкал, но сохраняется при применении конструкции к канонической модели, что позволяет установить интерполяционные свойства.
* Логика GL неканонична, но для неё применим аналогичный метод в сочетании с техникой селективной фильтрации, что даёт доказательство наличия интерполяции.
От слушателей предполагается знакомство с семантикой Крипке и основными свойствами канонической модели для модальных логик.
Доклад планируется в двух частях. В первой мы разберём (с доказательством) общие результаты, во второй — обсудим, как применять конструкцию в перечисленных частных случаях.
Ссылки:
[1] Marx, M. (1995). Algebraic Relativization and Arrow Logic. ILLC Dissertation Series.
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 13.03.2026 в 16:20
Докладчик: Лев Дворкин
Тема: Бисимуляционные произведения и интерполяционные свойства в модальных логиках
Аннотация:
Доклад посвящен теоретико-модельному методу доказательства интерполяционных свойств Крейга (CIP) и Линдона (LIP) в нормальных модальных логиках. Основой метода является конструкция бисимуляционного произведения на шкалах Крипке, которая двойственна конструкции амальгам специального вида в соответствующих классах булевых алгебр с операторами.
В диссертации Маркса (1995) [1] было показано, что если каноническая логика сохраняется при бисимуляционных произведениях, то она обладает CIP. В докладе будет показано, что на самом деле из этих посылок следует более сильный результат — наличие LIP.
Далее, следуя работе Маркса, мы рассмотрим классы логик, для которых применима эта теорема. К ним относятся логики, чьи классы шкал определяются хорновскими формулами первого порядка (K, KT, K4, S4), а также их расширения замкнутыми формулами.
Отдельное внимание будет уделено нетривиальным случаям, где прямое применение теоремы невозможно, но метод бисимуляционных произведений всё ещё работает благодаря модификациям конструкции:
* Для логики S4.1 сохранение имеет место только при конечных бисимуляционных произведениях, чего, однако, оказывается достаточно для доказательства интерполяции.
* Логика S4.2 не сохраняется при бисимуляционных произведениях произвольных шкал, но сохраняется при применении конструкции к канонической модели, что позволяет установить интерполяционные свойства.
* Логика GL неканонична, но для неё применим аналогичный метод в сочетании с техникой селективной фильтрации, что даёт доказательство наличия интерполяции.
От слушателей предполагается знакомство с семантикой Крипке и основными свойствами канонической модели для модальных логик.
Доклад планируется в двух частях. В первой мы разберём (с доказательством) общие результаты, во второй — обсудим, как применять конструкцию в перечисленных частных случаях.
Ссылки:
[1] Marx, M. (1995). Algebraic Relativization and Arrow Logic. ILLC Dissertation Series.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в з... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас принять участие в з... Смотрите полностью ВКонтакте.
👍1
#матлог #учёба #просеминар
💥В пятницу 13 марта состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: "Лямбда-исчисление (продолжение)" (А.А.Оноприенко).
✨Аннотация. Лямбда-исчисление, изобретённое как своеобразная абстрактная модель вычислений, находит многочисленные применения в функциональном программировании и задачах формальной верификации программ. На занятии будет рассказано о лямбда-исчислении в его бестиповом и типизованном вариантах и об их приложениях.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 lambda2025_dop.pdf
➰ ВК
💥В пятницу 13 марта состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: "Лямбда-исчисление (продолжение)" (А.А.Оноприенко).
✨Аннотация. Лямбда-исчисление, изобретённое как своеобразная абстрактная модель вычислений, находит многочисленные применения в функциональном программировании и задачах формальной верификации программ. На занятии будет рассказано о лямбда-исчислении в его бестиповом и типизованном вариантах и об их приложениях.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 lambda2025_dop.pdf
➰ ВК
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
#матлог #учёба #семинар #не_мехмат #ВШЭ #отмены
В эту пятницу 13.03.26 заседание НИСа "Современные проблемы математической логики" в ВШЭ ОТМЕНЯЕТСЯ.
Первый из двух докладов Льва Дворкина переносится на 20.03.26.
➰ ВК
В эту пятницу 13.03.26 заседание НИСа "Современные проблемы математической логики" в ВШЭ ОТМЕНЯЕТСЯ.
Первый из двух докладов Льва Дворкина переносится на 20.03.26.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #семинар #не_мехмат #ВШЭ #отмены
В эту пятницу 13.03.26 заседание НИСа "Соврем... Смотрите полностью ВКонтакте.
В эту пятницу 13.03.26 заседание НИСа "Соврем... Смотрите полностью ВКонтакте.
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
16 March, 18:30 MSK
We will have the third edition of Alexey Milovanov's talk.
Limit on the computational power of C-random strings.
Informally, the Kolmogorov complexity of a string x is defined as the minimal length of a program that outputs x on the empty input. This concept allows us to define the notion of an individual random string. Specifically, a string x is called random if its Kolmogorov complexity is at least the length of x. Let R denote the set of all random strings. A natural question is: how powerful is the oracle R? For example, what languages belong to P^R?
These and similar questions have been investigated in the works of Allender, Hirahara, and others. For example, it was shown that for every universal decompressor of plain complexity U, the class P^{R_U} contains NEXP.
However, no non-trivial upper bounds for P^{R_U} were previously known: it was not even known whether there is any universal U such that the halting problem does not belong to P^{R_U}. In this talk, it will be shown that such a U exists, which solves one of the open questions posed here:
https://people.cs.rutgers.edu/~allender/papers/sigact.news.draft.pdf
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
16 March, 18:30 MSK
We will have the third edition of Alexey Milovanov's talk.
Limit on the computational power of C-random strings.
Informally, the Kolmogorov complexity of a string x is defined as the minimal length of a program that outputs x on the empty input. This concept allows us to define the notion of an individual random string. Specifically, a string x is called random if its Kolmogorov complexity is at least the length of x. Let R denote the set of all random strings. A natural question is: how powerful is the oracle R? For example, what languages belong to P^R?
These and similar questions have been investigated in the works of Allender, Hirahara, and others. For example, it was shown that for every universal decompressor of plain complexity U, the class P^{R_U} contains NEXP.
However, no non-trivial upper bounds for P^{R_U} were previously known: it was not even known whether there is any universal U such that the halting problem does not belong to P^{R_U}. In this talk, it will be shown that such a U exists, which solves one of the open questions posed here:
https://people.cs.rutgers.edu/~allender/papers/sigact.news.draft.pdf
#матлог #учёба #спецсеминар
В среду 18 марта заседания Рабочего семинара по математической логике (www.mathnet.ru/conf2533) не будет.
Следующее заседание — 25 марта.
18 марта в 15:00 в МИАН + онлайн будет Коллоквиум МИАН — ПОМИ с докладом Д.В. Карпова (ПОМИ, г. Санкт-Петербург) «Вокруг гипотезы о 4 красках». Подробнее см. https://www.mathnet.ru/php/seminars.phtml?presentid=49518
Аннотация: Будет рассказано об истории знаменитой гипотезы о 4 красках, попытках ее решения – удачных и неудачных, об эквивалентных переформулировках и задачах. Кроме того, будет рассказано о родственных 4СС задачах, имеющих решение без компьютерного перебора, в частности, о раскраске графов, которые могут быть изображены на плоскости так, что каждое ребро пересекает одно или два других.
В среду 18 марта заседания Рабочего семинара по математической логике (www.mathnet.ru/conf2533) не будет.
Следующее заседание — 25 марта.
18 марта в 15:00 в МИАН + онлайн будет Коллоквиум МИАН — ПОМИ с докладом Д.В. Карпова (ПОМИ, г. Санкт-Петербург) «Вокруг гипотезы о 4 красках». Подробнее см. https://www.mathnet.ru/php/seminars.phtml?presentid=49518
Аннотация: Будет рассказано об истории знаменитой гипотезы о 4 красках, попытках ее решения – удачных и неудачных, об эквивалентных переформулировках и задачах. Кроме того, будет рассказано о родственных 4СС задачах, имеющих решение без компьютерного перебора, в частности, о раскраске графов, которые могут быть изображены на плоскости так, что каждое ребро пересекает одно или два других.
👍1
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.
Семинар пройдет в среду 18 марта в 14:15.
Доклад будет в онлайн формате.
Будет организована трансляция на большом экране по адресу:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.
Докладчик: Илья Шапировский
Название: О локально конечных полимодальных логиках
Аннотация
Логика L локально конечна (или иначе - локально таблична), если для каждого конечного числа переменных имеется лишь конечное число неэквивалентных в L формул. В алгебраических терминах это значит, что локально конечно многообразие алгебр логики L. Это достаточно сильное свойство, из которого в частности следует, что логика L, как и все её расширения, является финитно аппроксимируемой.
Я дам обзор классических результатов о локальной табличности модальных логик (таких, как критерий Сегерберга и Максимовой для транзитивного случая) и некоторых их обобщений, а также расскажу о более поздних и совсем недавних продвижениях в этом направлении: я приведу критерий, основанный на разбиениях кластеров и необходимое условие сокращаемости пути (совместно с В.Б. Шехтманом, 2016); критерий локальной конечности произведений модальных логик (совместно с В. В. Слюсаревым, 2023); кластерный критерий свойства конечной модальной глубины (2025).
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.
Семинар пройдет в среду 18 марта в 14:15.
Доклад будет в онлайн формате.
Будет организована трансляция на большом экране по адресу:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.
Докладчик: Илья Шапировский
Название: О локально конечных полимодальных логиках
Аннотация
Логика L локально конечна (или иначе - локально таблична), если для каждого конечного числа переменных имеется лишь конечное число неэквивалентных в L формул. В алгебраических терминах это значит, что локально конечно многообразие алгебр логики L. Это достаточно сильное свойство, из которого в частности следует, что логика L, как и все её расширения, является финитно аппроксимируемой.
Я дам обзор классических результатов о локальной табличности модальных логик (таких, как критерий Сегерберга и Максимовой для транзитивного случая) и некоторых их обобщений, а также расскажу о более поздних и совсем недавних продвижениях в этом направлении: я приведу критерий, основанный на разбиениях кластеров и необходимое условие сокращаемости пути (совместно с В.Б. Шехтманом, 2016); критерий локальной конечности произведений модальных логик (совместно с В. В. Слюсаревым, 2023); кластерный критерий свойства конечной модальной глубины (2025).
👍1
#матлог #спецсеминар #нпммвя
В четверг 19 марта в 18:00 на семинаре «Некоторые применения математических методов в языкознании» состоится онлайн-доклад Richard Moot (LIRMM, Монпелье, Франция) "First-order linear logic and categorial grammars".
Abstract:
First-order linear logic is the extension of multiplicative linear logic with first-order quantifiers. From the logical point of view, the logic has a simple graphical proof theory in the form of proof nets. I will show that the Lambek calculus and several of its extensions are natural fragments of first-order linear logic.
I argue that first-order linear logic should be seen as a sort of "machine language" underlying these different formalisms. This view provides a useful way to compare the different formalisms and allows us to show that although they start from different logical primitives, upon translation into first-order linear logic many of these treatments turn out to produce equivalent formulas in first-order linear logic.
Будет организована трансляция доклада на кафедре отделения теоретической и прикладной лингвистики МГУ (ауд. 953, 1-й учебный корпус МГУ), к которой могут присоединиться все желающие, имеющие пропуск в МГУ. К сожалению, оргкомитет не имеет возможности оформлять пропуска.
Ссылка для регистрации: https://forms.gle/JFc57ogmYZPXbgCm7
(зарегистрировавшиеся получат ссылку для онлайн-подключения)
В четверг 19 марта в 18:00 на семинаре «Некоторые применения математических методов в языкознании» состоится онлайн-доклад Richard Moot (LIRMM, Монпелье, Франция) "First-order linear logic and categorial grammars".
Abstract:
First-order linear logic is the extension of multiplicative linear logic with first-order quantifiers. From the logical point of view, the logic has a simple graphical proof theory in the form of proof nets. I will show that the Lambek calculus and several of its extensions are natural fragments of first-order linear logic.
I argue that first-order linear logic should be seen as a sort of "machine language" underlying these different formalisms. This view provides a useful way to compare the different formalisms and allows us to show that although they start from different logical primitives, upon translation into first-order linear logic many of these treatments turn out to produce equivalent formulas in first-order linear logic.
Будет организована трансляция доклада на кафедре отделения теоретической и прикладной лингвистики МГУ (ауд. 953, 1-й учебный корпус МГУ), к которой могут присоединиться все желающие, имеющие пропуск в МГУ. К сожалению, оргкомитет не имеет возможности оформлять пропуска.
Ссылка для регистрации: https://forms.gle/JFc57ogmYZPXbgCm7
(зарегистрировавшиеся получат ссылку для онлайн-подключения)
Forwarded from Формальная философия
Forwarded from Формальная философия
Формальная философия
Photo
18 марта в 18:10 состоится 116-е заседание научно-теоретического семинара «Формальная философия».
Тема доклада: Устранение информационных каскадов с помощью публичных аудитов.
Докладчик: Арнольд Григорян (Ludwig-Maximilians-Universität München).
Аннотация: Доклад будет посвящен моделированию информационных каскадов с помощью байесианской эпистемологии и динамической эпистемической логики.
В статье «Логические модели информационных каскадов» [1] последовательность агентов конфиденциально вытягивает шар из урны, чье содержание неизвестно, обновляет свои убеждения, а затем публично объявляет предположение о ее содержании. В силу того, что объявляются только апостериорные предположения, а не сами розыгрыши, ранние объявления могут стать доминирующими среди общественного мнения. Авторы показывают, что после конечного этапа для агентов рационально игнорировать результаты своих собственные розыгрышей. Это и запускает информационный каскад.
Мы представим расширенную версию модели, которая добавляет дополнительное событие «публичного аудита», происходящее после того, как агент вытащил мяч. С вероятностью p событие аудита заставляет агента объявить результат розыгрыша, а не его апостериорное предположение. Мы показываем, что для любого p > 0 при числе агентов n → ∞ вероятность формирования каскада, который неправильно определяет положение дел, стремится к 0.
После рассмотрения формальной модели планируется обсуждение ее импликаций для социальной эпистемологии и байесианской философии науки. В частности, введение такого минимального правила идет вразрез с выводами авторов статьи о том, что ограничение коммуникации между научными сообществами может служить эффективным инструментом преодоления информационных каскадов. Исходя из расширенной модели мы делаем вывод, что публикация результатов («аудит» в модели), а не только мнений, позволяет устранить вероятность возникновения каскадов, не ограничивая при этом коммуникацию.
[1] A. Baltag, S. Smets, and J. Zvesper. Logical Models of Informational Cascades. 2013.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1137930227.html
Тема доклада: Устранение информационных каскадов с помощью публичных аудитов.
Докладчик: Арнольд Григорян (Ludwig-Maximilians-Universität München).
Аннотация: Доклад будет посвящен моделированию информационных каскадов с помощью байесианской эпистемологии и динамической эпистемической логики.
В статье «Логические модели информационных каскадов» [1] последовательность агентов конфиденциально вытягивает шар из урны, чье содержание неизвестно, обновляет свои убеждения, а затем публично объявляет предположение о ее содержании. В силу того, что объявляются только апостериорные предположения, а не сами розыгрыши, ранние объявления могут стать доминирующими среди общественного мнения. Авторы показывают, что после конечного этапа для агентов рационально игнорировать результаты своих собственные розыгрышей. Это и запускает информационный каскад.
Мы представим расширенную версию модели, которая добавляет дополнительное событие «публичного аудита», происходящее после того, как агент вытащил мяч. С вероятностью p событие аудита заставляет агента объявить результат розыгрыша, а не его апостериорное предположение. Мы показываем, что для любого p > 0 при числе агентов n → ∞ вероятность формирования каскада, который неправильно определяет положение дел, стремится к 0.
После рассмотрения формальной модели планируется обсуждение ее импликаций для социальной эпистемологии и байесианской философии науки. В частности, введение такого минимального правила идет вразрез с выводами авторов статьи о том, что ограничение коммуникации между научными сообществами может служить эффективным инструментом преодоления информационных каскадов. Исходя из расширенной модели мы делаем вывод, что публикация результатов («аудит» в модели), а не только мнений, позволяет устранить вероятность возникновения каскадов, не ограничивая при этом коммуникацию.
[1] A. Baltag, S. Smets, and J. Zvesper. Logical Models of Informational Cascades. 2013.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1137930227.html
llfp.hse.ru
Доклад Арнольда Григоряна «Устранение информационных каскадов с помощью публичных аудитов»
18 марта в 18:10 состоится 116-е заседание научно-теоретического семинара «Формальная философия».
❤1
#матлог #учёба #просеминар
💥В пятницу 20 марта состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: "Определимые отношения и группы перестановок (Q,<)" (Александр Калинин, студент кафедры).
✨Аннотация. Теория n-транзитивных и n-однородных групп перестановок является основой доказательства теоремы о редуктах плотного порядка. На просеминаре будут изложены основные понятия теории и рассмотрены связанные с ними задачи.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 definabilityQ_2025.pdf
💥В пятницу 20 марта состоится очередное занятие просеминара по математической логике и информатике.
✨Тема: "Определимые отношения и группы перестановок (Q,<)" (Александр Калинин, студент кафедры).
✨Аннотация. Теория n-транзитивных и n-однородных групп перестановок является основой доказательства теоремы о редуктах плотного порядка. На просеминаре будут изложены основные понятия теории и рассмотрены связанные с ними задачи.
✨Можно заранее порешать задачи (прикреплены к посту).
✅Просеминар проходит по пятницам в 16:45-18:20 в аудитории 1226б Главного здания МГУ.
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼
📝 definabilityQ_2025.pdf
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
❤1
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk
23.03.2026, совместное заседание с семинаром С. И. Адяна,
А. Л. Таламбуца (МИАН, www.mathnet.ru/person20324): О проблеме равенства в минимально бесконечных группах (продолжение, очный доклад)
Минимально бесконечной группой называется бесконечная группа, любая нетривиальная факторизация даёт конечную группу. В докладе будет рассмотрена проблема равенства слов для минимально бесконечных групп, заданных конечным или перечислимым множеством соотношений. В случае конечного числа порождающих будет доказано, что разрешима общая проблема равенства, когда задание группы также даётся алгоритму на вход. Доказательство использует идеи из классических результатов о разрешимости проблемы равенства слов: теоремы Кузнецова о простых группах и теоремы Дайсон-Мостовского о финитно аппроксимируемых группах. В случае счётного числа порождающих будет установлено, что общая проблема равенства для данного класса неразрешима, а разрешимость частной проблемы равенства существенно зависит от структурных свойств группы, а также от выбора её задания.
Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk
23.03.2026, совместное заседание с семинаром С. И. Адяна,
А. Л. Таламбуца (МИАН, www.mathnet.ru/person20324): О проблеме равенства в минимально бесконечных группах (продолжение, очный доклад)
Минимально бесконечной группой называется бесконечная группа, любая нетривиальная факторизация даёт конечную группу. В докладе будет рассмотрена проблема равенства слов для минимально бесконечных групп, заданных конечным или перечислимым множеством соотношений. В случае конечного числа порождающих будет доказано, что разрешима общая проблема равенства, когда задание группы также даётся алгоритму на вход. Доказательство использует идеи из классических результатов о разрешимости проблемы равенства слов: теоремы Кузнецова о простых группах и теоремы Дайсон-Мостовского о финитно аппроксимируемых группах. В случае счётного числа порождающих будет установлено, что общая проблема равенства для данного класса неразрешима, а разрешимость частной проблемы равенства существенно зависит от структурных свойств группы, а также от выбора её задания.
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
23 March, 18:30 MSK
Georgi Potapov
If we have some experimental data, finite object x, and some statistical hypothesis saying that x is a result of a random experiment that has some distribution P, then the deficiency of x against P ("how unlikely is x assuming P") can (and usually is) defined as -log P(x) - K(x|P). If instead of one hypothesis P we have a class of hypotheses (e.g., "distribution is Bernoulli with some unknown p", or "distribution is Poisson with some unknown λ"), it is natural to choose p or λ that make the deficiency minimal. Can we get an explicit formula for that minimum? The talk will discuss this question for Poisson distribution.
Some additional context: consider finitely specified (say, finite rational-valued) distributions on N; one can consider (quite naturally from statistical viewpoint) "expectation bounded tests" t(x,P); here x is a natural number and P is the distribution, and the requirement is that the expected value of f(x,P) for every fixed P and P-distributed x is at most one. There is a maximal lower semicomputable function with this property, and this universal test is 2^{-\KP(x)}/P(x) (see the logarithmic version above). Then we can take a minimum over all measures from some class and get the so-called "class test" - the case for Bernoulli distributions was considered by Vovk, and in the talk (hopefully) we'll discuss the similar question also for the family of Poisson distributions. [Updated after a conversation with G.P.]
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
23 March, 18:30 MSK
Georgi Potapov
If we have some experimental data, finite object x, and some statistical hypothesis saying that x is a result of a random experiment that has some distribution P, then the deficiency of x against P ("how unlikely is x assuming P") can (and usually is) defined as -log P(x) - K(x|P). If instead of one hypothesis P we have a class of hypotheses (e.g., "distribution is Bernoulli with some unknown p", or "distribution is Poisson with some unknown λ"), it is natural to choose p or λ that make the deficiency minimal. Can we get an explicit formula for that minimum? The talk will discuss this question for Poisson distribution.
Some additional context: consider finitely specified (say, finite rational-valued) distributions on N; one can consider (quite naturally from statistical viewpoint) "expectation bounded tests" t(x,P); here x is a natural number and P is the distribution, and the requirement is that the expected value of f(x,P) for every fixed P and P-distributed x is at most one. There is a maximal lower semicomputable function with this property, and this universal test is 2^{-\KP(x)}/P(x) (see the logarithmic version above). Then we can take a minimum over all measures from some class and get the so-called "class test" - the case for Bernoulli distributions was considered by Vovk, and in the talk (hopefully) we'll discuss the similar question also for the family of Poisson distributions. [Updated after a conversation with G.P.]
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 20.03.2026 в 16:20
Докладчик: Лев Дворкин
Тема: Бисимуляционные произведения и интерполяционные свойства в модальных логиках
Аннотация:
Доклад посвящен теоретико-модельному методу доказательства интерполяционных свойств Крейга (CIP) и Линдона (LIP) в нормальных модальных логиках. Основой метода является конструкция бисимуляционного произведения на шкалах Крипке, которая двойственна конструкции амальгам специального вида в соответствующих классах булевых алгебр с операторами.
В диссертации Маркса (1995) [1] было показано, что если каноническая логика сохраняется при бисимуляционных произведениях, то она обладает CIP. В докладе будет показано, что на самом деле из этих посылок следует более сильный результат — наличие LIP.
Далее, следуя работе Маркса, мы рассмотрим классы логик, для которых применима эта теорема. К ним относятся логики, чьи классы шкал определяются хорновскими формулами первого порядка (K, KT, K4, S4), а также их расширения замкнутыми формулами.
Отдельное внимание будет уделено нетривиальным случаям, где прямое применение теоремы невозможно, но метод бисимуляционных произведений всё ещё работает благодаря модификациям конструкции:
* Для логики S4.1 сохранение имеет место только при конечных бисимуляционных произведениях, чего, однако, оказывается достаточно для доказательства интерполяции.
* Логика S4.2 не сохраняется при бисимуляционных произведениях произвольных шкал, но сохраняется при применении конструкции к канонической модели, что позволяет установить интерполяционные свойства.
* Логика GL неканонична, но для неё применим аналогичный метод в сочетании с техникой селективной фильтрации, что даёт доказательство наличия интерполяции.
От слушателей предполагается знакомство с семантикой Крипке и основными свойствами канонической модели для модальных логик.
Доклад планируется в двух частях. В первой мы разберём (с доказательством) общие результаты, во второй — обсудим, как применять конструкцию в перечисленных частных случаях.
Ссылки:
[1] Marx, M. (1995). Algebraic Relativization and Arrow Logic. ILLC Dissertation Series.
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 20.03.2026 в 16:20
Докладчик: Лев Дворкин
Тема: Бисимуляционные произведения и интерполяционные свойства в модальных логиках
Аннотация:
Доклад посвящен теоретико-модельному методу доказательства интерполяционных свойств Крейга (CIP) и Линдона (LIP) в нормальных модальных логиках. Основой метода является конструкция бисимуляционного произведения на шкалах Крипке, которая двойственна конструкции амальгам специального вида в соответствующих классах булевых алгебр с операторами.
В диссертации Маркса (1995) [1] было показано, что если каноническая логика сохраняется при бисимуляционных произведениях, то она обладает CIP. В докладе будет показано, что на самом деле из этих посылок следует более сильный результат — наличие LIP.
Далее, следуя работе Маркса, мы рассмотрим классы логик, для которых применима эта теорема. К ним относятся логики, чьи классы шкал определяются хорновскими формулами первого порядка (K, KT, K4, S4), а также их расширения замкнутыми формулами.
Отдельное внимание будет уделено нетривиальным случаям, где прямое применение теоремы невозможно, но метод бисимуляционных произведений всё ещё работает благодаря модификациям конструкции:
* Для логики S4.1 сохранение имеет место только при конечных бисимуляционных произведениях, чего, однако, оказывается достаточно для доказательства интерполяции.
* Логика S4.2 не сохраняется при бисимуляционных произведениях произвольных шкал, но сохраняется при применении конструкции к канонической модели, что позволяет установить интерполяционные свойства.
* Логика GL неканонична, но для неё применим аналогичный метод в сочетании с техникой селективной фильтрации, что даёт доказательство наличия интерполяции.
От слушателей предполагается знакомство с семантикой Крипке и основными свойствами канонической модели для модальных логик.
Доклад планируется в двух частях. В первой мы разберём (с доказательством) общие результаты, во второй — обсудим, как применять конструкцию в перечисленных частных случаях.
Ссылки:
[1] Marx, M. (1995). Algebraic Relativization and Arrow Logic. ILLC Dissertation Series.
Forwarded from Мехмат МГУ
#мехмат_студентам #мехмат_сотрудникам
В четверг 26 марта на мехмате состоится заседание научно-образовательного семинара «Колмогоровские беседы».
Тематика семинара определена богатством обширного наследия великого ученого, крупнейшего математика XX века, профессора МГУ
Андрея Николаевича Колмогорова, обогатившего своими идеями и трудами многие разделы математики и других наук, предвосхитившего современные достижения в области искусственного интеллекта,
оказавшего принципиальное влияние на развитие системы школьного и университетского математического образования.
С лекцией «Колмогоров в цифровом мире» выступит академик Алексей Львович Семенов.
❗ Заседание состоится в 16:45 в аудитории 1503.
В четверг 26 марта на мехмате состоится заседание научно-образовательного семинара «Колмогоровские беседы».
Тематика семинара определена богатством обширного наследия великого ученого, крупнейшего математика XX века, профессора МГУ
Андрея Николаевича Колмогорова, обогатившего своими идеями и трудами многие разделы математики и других наук, предвосхитившего современные достижения в области искусственного интеллекта,
оказавшего принципиальное влияние на развитие системы школьного и университетского математического образования.
С лекцией «Колмогоров в цифровом мире» выступит академик Алексей Львович Семенов.
❗ Заседание состоится в 16:45 в аудитории 1503.
#матлог #учёба #спецсеминар
25 марта 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
Н.В. Лукашов (НИУ ВШЭ)
Вычислительные аспекты для модальных логик
Аннотация:
Рассказ будет посвящён исследованию разрешимости и вычислительной сложности нормальных модальных логик. В первой части будут рассмотрены различные методы доказательства разрешимости для логик, обладающих свойством конечных моделей. Будет показано, что наличие этого свойства само по себе не гарантирует существование эффективных алгоритмов: будет приведена конструкция несчётного семейства даже полиномиально аппроксимируемых логик с неразрешимой проблемой принадлежности. Затем мы обсудим различные семантические и синтаксические ограничения, при наложении которых удаётся установить разрешимость в целом, без оценки требуемых вычислительных ресурсов.
Далее мы сосредоточимся на границах сложности. После краткого напоминания классов P, NP и PSPACE будет изложен общий метод установления NP-полноты для нормальных модальных логик и, в частности, продемонстрировано, что логика S5 является таковой. Затем будет приведена общая конструкция, показывающая, что такие модальные логики, как K, K4, S4 и GL, не являются полиномиально аппроксимируемыми, что будет означать необходимость принципиально иных подходов к установлению их принадлежности к PSPACE (об этом пойдёт речь в последующих докладах Л.В. Дворкина). В заключение, используя приведённую конструкцию для задачи TQBF, мы также воспроизведем доказательство классической теоремы Р. Ладнера (1979), утверждающей, что любая нормальная модальная логика в интервале между K и S4 является PSPACE-трудной.
Некоторая литература:
P. Blackburn, M. De Rijke, Y. Venema. Modal Logic. Cambridge University Press, 2001.
R.E. Ladner. The computational complexity of provability in systems of modal propositional logic. SIAM Journal on Computing 6(3), 467–480, 1977.
25 марта 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
Н.В. Лукашов (НИУ ВШЭ)
Вычислительные аспекты для модальных логик
Аннотация:
Рассказ будет посвящён исследованию разрешимости и вычислительной сложности нормальных модальных логик. В первой части будут рассмотрены различные методы доказательства разрешимости для логик, обладающих свойством конечных моделей. Будет показано, что наличие этого свойства само по себе не гарантирует существование эффективных алгоритмов: будет приведена конструкция несчётного семейства даже полиномиально аппроксимируемых логик с неразрешимой проблемой принадлежности. Затем мы обсудим различные семантические и синтаксические ограничения, при наложении которых удаётся установить разрешимость в целом, без оценки требуемых вычислительных ресурсов.
Далее мы сосредоточимся на границах сложности. После краткого напоминания классов P, NP и PSPACE будет изложен общий метод установления NP-полноты для нормальных модальных логик и, в частности, продемонстрировано, что логика S5 является таковой. Затем будет приведена общая конструкция, показывающая, что такие модальные логики, как K, K4, S4 и GL, не являются полиномиально аппроксимируемыми, что будет означать необходимость принципиально иных подходов к установлению их принадлежности к PSPACE (об этом пойдёт речь в последующих докладах Л.В. Дворкина). В заключение, используя приведённую конструкцию для задачи TQBF, мы также воспроизведем доказательство классической теоремы Р. Ладнера (1979), утверждающей, что любая нормальная модальная логика в интервале между K и S4 является PSPACE-трудной.
Некоторая литература:
P. Blackburn, M. De Rijke, Y. Venema. Modal Logic. Cambridge University Press, 2001.
R.E. Ladner. The computational complexity of provability in systems of modal propositional logic. SIAM Journal on Computing 6(3), 467–480, 1977.
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД #отмены
Заседание семинара отдела математической логики МИАН, Logic Online Seminar, 23.03.2026 (доклад А.Л. Таламбуцы) ОТМЕНЯЕТСЯ.
Следующее заседание состоится 30.03.2026.
Страница семинара: www.mathnet.ru/rus/conf876
Заседание семинара отдела математической логики МИАН, Logic Online Seminar, 23.03.2026 (доклад А.Л. Таламбуцы) ОТМЕНЯЕТСЯ.
Следующее заседание состоится 30.03.2026.
Страница семинара: www.mathnet.ru/rus/conf876
#матлог #наука #конференция
💥 27 и 30 марта 2026 года состоится заседание секции ИМИСС на конференции «Ломоносовские чтения-2026»
😎 27 марта будут представлены доклады нашей кафедры
Место проведения: МГУ, ул. Ленинские горы, д. 1, стр. 54, 1 этаж (корпус факультета ИИ).
Заседание секции ИМИСС проходит два дня: 27 и 30 марта.
Подробная информация и программа опубликована на сайте https://conf.msu.ru/rus/event/10430/
Доклады 27 марта (10:00-13:00):
1. Обучение больших языковых моделей соблюдению национальных этических стандартов
Доклад студ. Ковалева Г.П. (Факультет вычислительной математики и кибернетики), ст.науч.сотр. НИВЦ МГУ Тихомирова М.М., вед.науч.сотр. ИМИСС МГУ Лукашевич Н.В.
2. Автоматическая генерация объяснений в задаче исправления грамматических ошибок с помощью обучения с подкреплением
Доклад асс. Сорокина А.А. (Механико-математический факультет), ст.науч.сотр. Центра ИИ МГУ
3. RusHalluRAG: разработка набора данных и методов для обнаружения галлюцинаций в системах поиска и генерации ответов (RAG) на русском языке
Доклад асп. Садковского Ф.А. (Филологический факультет), мл.науч.сотр. Центра ИИ МГУ
4. Панорамирование изображений с интегрированной оптимизацией, специфичной для микроскопии
Доклад мл.науч.сотр. Центра ИИ МГУ, студ. (Факультет вычислительной математики и кибернетики) Николаева Г.В.; науч.сотр. Центра ИИ МГУ, ст.науч.сотр. (Факультет вычислительной математики и кибернетики) Хвостикова А.В.
5. Реляционные модели исчисления Ламбека с субэкспоненциалом локального сокращения
Доклад асп. (Механико-математический факультет) Валинкина М.В., профессора (Механико-математический факультет) Кузнецова С.Л.
6. Алгоритмическая модель развития стволовой клетки на основе случайных процессов и кластеризация клеток на основе нейронных сетей
Доклад асп. (Механико-математический факультет) Гонзюх М.Е., профессора (Механико-математический факультет), зав.лаб. (ИППИ РАН) Любецкого В.А.
7. Полудуплексная коммуникационная сложность с честным противником
Доклад асп. (Механико-математический факультет) Купцова Т.В., профессора (Механико-математический факультет) Верещагина Н.К.
8. Локальные правила и иерархические замощения
Доклад профессора (Механико-математический факультет) Верещагина Н.К.
9. Арифметическая семантика строго позитивных логик
Доклад студ. Еремина А.В. (Философский факультет), академика РАН, Беклемишева Л.Д.
10. Физически-информированные алгоритмы стохастической оптимизации и прогнозирования в задачах с редкими событиями
Доклад асп. (Механико-математический факультет) Булкина А.М., член-корр. РАН, гл.науч.сотр. ИМИСС МГУ, Шамолина М.В. (НИИ механики МГУ)
Доклады 30 марта (12:00 - 17:00):
1. Анатомия «разучивания»: двойное воздействие значимости фактов и типа обучения модели
Доклад науч.сотр. Института AIRI, Борисюк А.О. (Сколтех); науч. директора Sber AI Lab, науч.сотр. ИСП РАН, Савченко А.В.; руководителя группы «Вычислительная семантика» Института AIRI, доцента и руководителя группы NLP Сколтех Панченко А.И.; руководителя группы «Прикладное NLP» Института AIRI, ст.науч.сотр. ИСП РАН Тутубалиной Е.В.
2. Методы сертификации моделей глубокого обучения
Доклад науч.сотр. группы «Доверенные и безопасные интеллектуальные системы» Института AIRI, Коржа Д.С.
3. Непреднамеренное рассогласование посредством обучения в контексте: узкие контекстные примеры могут приводить к широкому рассогласованию больших языковых моделей
Доклад исследователя группы «Доверенные и безопасные интеллектуальные системы» Института AIRI, Андриянова Н.А.
4. Формальная верификация и устойчивость к цензуре протоколов византийского консенсуса на примере IBFT
Доклад доцента (Механико-математический факультет) Миронова А.М., асп. (Механико-математический факультет) Зиборова К.В., студ. (Механико-математический факультет) Бондарева Н.С., доцента Яновича Ю.А. (Сколтех)
5. Усиление больших языковых моделей с помощью методов обучения с подкреплением: новые подходы и перспективы
Доклад доцента (Механико-математический факультет) Миронова А.М., асп. (Механико-математический факультет) Гаджиева Ш.М.
6. Применение больших языковых моделей для
💥 27 и 30 марта 2026 года состоится заседание секции ИМИСС на конференции «Ломоносовские чтения-2026»
😎 27 марта будут представлены доклады нашей кафедры
Место проведения: МГУ, ул. Ленинские горы, д. 1, стр. 54, 1 этаж (корпус факультета ИИ).
Заседание секции ИМИСС проходит два дня: 27 и 30 марта.
Подробная информация и программа опубликована на сайте https://conf.msu.ru/rus/event/10430/
Доклады 27 марта (10:00-13:00):
1. Обучение больших языковых моделей соблюдению национальных этических стандартов
Доклад студ. Ковалева Г.П. (Факультет вычислительной математики и кибернетики), ст.науч.сотр. НИВЦ МГУ Тихомирова М.М., вед.науч.сотр. ИМИСС МГУ Лукашевич Н.В.
2. Автоматическая генерация объяснений в задаче исправления грамматических ошибок с помощью обучения с подкреплением
Доклад асс. Сорокина А.А. (Механико-математический факультет), ст.науч.сотр. Центра ИИ МГУ
3. RusHalluRAG: разработка набора данных и методов для обнаружения галлюцинаций в системах поиска и генерации ответов (RAG) на русском языке
Доклад асп. Садковского Ф.А. (Филологический факультет), мл.науч.сотр. Центра ИИ МГУ
4. Панорамирование изображений с интегрированной оптимизацией, специфичной для микроскопии
Доклад мл.науч.сотр. Центра ИИ МГУ, студ. (Факультет вычислительной математики и кибернетики) Николаева Г.В.; науч.сотр. Центра ИИ МГУ, ст.науч.сотр. (Факультет вычислительной математики и кибернетики) Хвостикова А.В.
5. Реляционные модели исчисления Ламбека с субэкспоненциалом локального сокращения
Доклад асп. (Механико-математический факультет) Валинкина М.В., профессора (Механико-математический факультет) Кузнецова С.Л.
6. Алгоритмическая модель развития стволовой клетки на основе случайных процессов и кластеризация клеток на основе нейронных сетей
Доклад асп. (Механико-математический факультет) Гонзюх М.Е., профессора (Механико-математический факультет), зав.лаб. (ИППИ РАН) Любецкого В.А.
7. Полудуплексная коммуникационная сложность с честным противником
Доклад асп. (Механико-математический факультет) Купцова Т.В., профессора (Механико-математический факультет) Верещагина Н.К.
8. Локальные правила и иерархические замощения
Доклад профессора (Механико-математический факультет) Верещагина Н.К.
9. Арифметическая семантика строго позитивных логик
Доклад студ. Еремина А.В. (Философский факультет), академика РАН, Беклемишева Л.Д.
10. Физически-информированные алгоритмы стохастической оптимизации и прогнозирования в задачах с редкими событиями
Доклад асп. (Механико-математический факультет) Булкина А.М., член-корр. РАН, гл.науч.сотр. ИМИСС МГУ, Шамолина М.В. (НИИ механики МГУ)
Доклады 30 марта (12:00 - 17:00):
1. Анатомия «разучивания»: двойное воздействие значимости фактов и типа обучения модели
Доклад науч.сотр. Института AIRI, Борисюк А.О. (Сколтех); науч. директора Sber AI Lab, науч.сотр. ИСП РАН, Савченко А.В.; руководителя группы «Вычислительная семантика» Института AIRI, доцента и руководителя группы NLP Сколтех Панченко А.И.; руководителя группы «Прикладное NLP» Института AIRI, ст.науч.сотр. ИСП РАН Тутубалиной Е.В.
2. Методы сертификации моделей глубокого обучения
Доклад науч.сотр. группы «Доверенные и безопасные интеллектуальные системы» Института AIRI, Коржа Д.С.
3. Непреднамеренное рассогласование посредством обучения в контексте: узкие контекстные примеры могут приводить к широкому рассогласованию больших языковых моделей
Доклад исследователя группы «Доверенные и безопасные интеллектуальные системы» Института AIRI, Андриянова Н.А.
4. Формальная верификация и устойчивость к цензуре протоколов византийского консенсуса на примере IBFT
Доклад доцента (Механико-математический факультет) Миронова А.М., асп. (Механико-математический факультет) Зиборова К.В., студ. (Механико-математический факультет) Бондарева Н.С., доцента Яновича Ю.А. (Сколтех)
5. Усиление больших языковых моделей с помощью методов обучения с подкреплением: новые подходы и перспективы
Доклад доцента (Механико-математический факультет) Миронова А.М., асп. (Механико-математический факультет) Гаджиева Ш.М.
6. Применение больших языковых моделей для
❤1
анализа уязвимостей программного обеспечения
Доклад доцента (Механико-математический факультет) Миронова А.М., студ. (Механико-математический факультет), науч.сотр. Института AIRI, Пчелина К.К.
7. Методы построения представлений объектов с использованием внешней информации о свойствах наборов объектов
Доклад вед. программиста ИМИСС МГУ Колосова А.М.
8. Формирование торговых сигналов из новостного потока с помощью LLM
Доклад студ. Изместьева А.А. (Механико-математический факультет), вед. программиста ИМИСС МГУ Колосова А.М.
9. Формирование торговых сигналов из новостей на основе эмбеддингов: методология и оценка прогностической силы
Доклад студ. Жаркова Н.И. (Механико-математический факультет), ст.науч.сотр. ИМИСС МГУ Зубаревой Е.В.
10. От «одного промпта» к библиотеке навыков: как способ разбиения цели влияет на качество выполнения в 3D-среде
Доклад студ. Александрова К.А. (Механико-математический факультет), вед. программиста ИМИСС МГУ Колосова А.М.
11. Изучение подходов к определению видов распределений, порождаемых большими языковыми моделями
Доклад студ. Егорова Я.Г. (Механико-математический факультет), вед. программиста ИМИСС МГУ Колосова А.М.
Доклад доцента (Механико-математический факультет) Миронова А.М., студ. (Механико-математический факультет), науч.сотр. Института AIRI, Пчелина К.К.
7. Методы построения представлений объектов с использованием внешней информации о свойствах наборов объектов
Доклад вед. программиста ИМИСС МГУ Колосова А.М.
8. Формирование торговых сигналов из новостного потока с помощью LLM
Доклад студ. Изместьева А.А. (Механико-математический факультет), вед. программиста ИМИСС МГУ Колосова А.М.
9. Формирование торговых сигналов из новостей на основе эмбеддингов: методология и оценка прогностической силы
Доклад студ. Жаркова Н.И. (Механико-математический факультет), ст.науч.сотр. ИМИСС МГУ Зубаревой Е.В.
10. От «одного промпта» к библиотеке навыков: как способ разбиения цели влияет на качество выполнения в 3D-среде
Доклад студ. Александрова К.А. (Механико-математический факультет), вед. программиста ИМИСС МГУ Колосова А.М.
11. Изучение подходов к определению видов распределений, порождаемых большими языковыми моделями
Доклад студ. Егорова Я.Г. (Механико-математический факультет), вед. программиста ИМИСС МГУ Колосова А.М.