Молодёжный коллоквиум по математической логике и её приложениям
(31 августа–4 сентября 2026 г., МИАН, ул. Губкина, д. 8, г. Москва)

Просьба ко всем потенциальным участникам заполнить
регистрационную форму (для участия как с докладом, так и без)

Цель коллоквиума — познакомить молодых исследователей, включая студентов и аспирантов, с перспективными направлениями развития математической логики и предоставить им возможность выступить с докладами по результатам своих исследований. Параллельно с выступлениями молодых исследователей в рамках коллоквиума планируется чтение нескольких мини-курсов (по 2–3 лекции каждый), ориентированных на широкую аудиторию:

Искандер Шагитович Калимуллин (КФУ): Теорема рекурсии и критерии полноты

Алексей Леонидович Таламбуца (МИАН): Алгоритмические проблемы для матричных полугрупп

Валентин Борисович Шехтман (МФТИ): Семантики модальных предикатных логик

К участию с докладом приглашаются молодые исследователи, в том числе студенты и аспиранты, при соблюдении следующих условий:

1. возраст докладчика на момент начала коллоквиума — до 39 лет включительно;
2. очный доклад (вместе с тем онлайн-участие без доклада будет возможно);
3. тезисы доклада должны быть оформлены в соответствии с прилагаемым шаблоном, иметь объём от одной до двух страниц, включая список литературы, и содержать ясную формулировку основных результатов.

Для подачи тезисов просьба использовать регистрационную форму. Решение о принятии или отклонении тезисов принимает оргкомитет. Допускаются доклады по работам в соавторстве при условии, что очный докладчик удовлетворяет условию 1 выше. Участвовать без доклада могут все желающие, как очно, так и дистанционно; онлайн-подключение планируется организовать через Контур.Толк.

Важнейшие даты

• регистрация на участие с докладом — не позднее 01.08.2026
• регистрация на участие без доклада — не позднее 26.08.2026
• даты проведения: c 31.08.2026 по 04.09.2026

Решения о принятии или отклонении тезисов принимаются в течение 10 рабочих дней с момента подачи.

Организационный комитет
Кузнецов Степан Львович
Сперанский Станислав Олегович

Сайт коллоквиума: https://www.mathnet.ru/rus/conf2744