Международный семинар

«Logic matters 2025»

проводится международной лабораторией интеллектуальных систем и структурного анализа центра языковых и семантических технологий факультета компьютерных наук. Начало: 29 декабря 2025 г. в 10.00

Международный семинар «Logic matters» проводится ежегодно с целью обсуждения научных вопросов в области математики, машинного обучения, формальной логики, цифровой лингвистики и искусственного интеллекта.

29 декабря 2025

Покровский бульвар, 11, ауд F301

10:00-10:30

Сбор участников

10:30-10:45

Вступительное слово

Кузнецов Сергей Олегович, Центр языковых и семантических технологий, ДАДИИ, ФКН, НИУ ВШЭ

10:45-11:15

Строго позитивные логики и стройные порядки

Беклемишев Лев Дмитриевич, Математический институт им. В.А. Стеклова РАН, НИУ ВШЭ

11:15-11:45

Кофе-брейк

11:45-12:15

Пайплайн для верификации сгенерированных LLM решений математических задач

Сазонова Варвара Андреевна, Московский государственный университет им.М.В.Ломоносова

12:30-13.00

О вопросах сходимости и генерализации для нейронных схем малой глубины

Разборов Александр Александрович, Математический институт им. В.А. Стеклова РАН, University of Chicago

13:00-14.00

Обед

14:00-14.30

AI в математике: последние новости

Николенко Сергей Игоревич, Санкт-Петербургское отделение Математического института им. В.А. Стеклова РАН (онлайн)

14:45-15:15

Табличное разрешение классов типов

Соколов Павел Павлович, НИУ ВШЭ

15:15-15:45

Кофе-брейк

15:45-16:15

О замыкающих ординалах для первопорядковых логик вероятности с распределением на носителе

Сперанский Станислав Олегович, Математический институт им. В.А. Стеклова РАН, НИУ ВШЭ

16:30-17:00

Сложность эквациональных теорий двух классов решеток Клини с делениями

Кузнецов Степан Львович, Математический институт им. В.А. Стеклова РАН, НИУ ВШЭ

17:00-17:30

Общая дискуссия "Могут ли нейронки рассуждать. Закрытие конференции"

Организаторы

Кузнецов Сергей Олегович

директор Центра языковых и семантических технологий ФКН НИУ ВШЭ

Кузнецов Степан Львович

МИАН РАН, старший научный сотрудник международной лаборатории интеллектуальных систем и структурного анализа НИУ ВШЭ

Контакты

«Logic matters 2025»

Программа мероприятия