#матлог #наука #ВШЭ #конференция

29 декабря на факультете компьютерных наук НИУ ВШЭ пройдёт мини-конференция «Logic Matters 2025» (программа ниже).

Место проведения — Москва, Покровский б-р, д. 11, ауд. F301. Планируется также возможность онлайн-подключения.

Для участия (в т.ч. получения пропуска в здание ВШЭ) нужно зарегистрироваться на странице https://cs.hse.ru/ai/clst/issa/logmatters/ . Просьба желающим зарегистрироваться как можно быстрее, во всяком случае, не позже четверга 25 декабря (если нужен пропуск).

Программа конференции:

10:00 — 10:30 сбор участников

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

10:45 — 11:15
Строго позитивные логики и стройные порядки
Беклемишев Лев Дмитриевич, Математический институт им. В.А. Стеклова РАН, НИУ ВШЭ

11:15 — 11:45 кофе-брейк

11:45 — 12:15
Пайплайн для верификации сгенерированных LLM решений математических задач
Сазонова Варвара Андреевна, Московский государственный университет имени М.В.Ломоносова

12:15 — 12:30 перерыв

12:30 — 13:00
О вопросах сходимости и генерализации для нейронных схем малой глубины
Разборов Александр Александрович, Математический институт им. В.А. Стеклова РАН, University of Chicago

13:00 — 14:00 обед

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

14:30 — 14:45 перерыв

14:45 — 15:15
Табличное разрешение классов типов
Соколов Павел Павлович, НИУ ВШЭ

15:15 — 15:45 кофе-брейк

15:45 — 16:15
О замыкающих ординалах для первопорядковых логик вероятности с распределением на носителе
Сперанский Станислав Олегович, Математический институт им. В.А. Стеклова РАН, НИУ ВШЭ

16:15 — 16:30 перерыв

16:30 — 17:00
Сложность эквациональных теорий двух классов решеток Клини с делениями
Кузнецов Степан Львович, Математический институт им. В.А. Стеклова РАН, НИУ ВШЭ

17:00 — …
Общая дискуссия «Могут ли нейронки рассуждать?»
Закрытие конференции

➰ ВК