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

💥Напоминаю о Молодёжном коллоквиуме. По сравнению с предыдущим объявлением, в программу добавлен мини-курс А.А. Разборова «Теория сложности доказательств».

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

🧠Цель коллоквиума — познакомить молодых исследователей, включая студентов и аспирантов, с перспективными направлениями развития математической логики и предоставить им возможность выступить с докладами по результатам своих исследований. Параллельно с выступлениями молодых исследователей в рамках коллоквиума планируется чтение нескольких мини-курсов (по 2–3 лекции каждый), ориентированных на широкую аудиторию:
⚡Искандер Шагитович Калимуллин (КФУ, https://kpfu.ru/Iskander.Kalimullin): Теорема рекурсии и критерии полноты
⚡Александр Александрович Разборов (МИАН, U. Chicago, https://www.mathnet.ru/rus/person8770): Теория сложности доказательств
⚡Алексей Леонидович Таламбуца (МИАН, https://www.mathnet.ru/person/20324): Алгоритмические проблемы для матричных полугрупп
⚡Валентин Борисович Шехтман (МФТИ, https://www.mathnet.ru/person/37158): Семантики модальных предикатных логик

К участию с докладом приглашаются молодые исследователи, в том числе студенты и аспиранты, при соблюдении следующих условий:
👉 возраст докладчика на момент начала коллоквиума — до 39 лет включительно;
👉 очный доклад (вместе с тем онлайн-участие без доклада будет возможно);
👉 тезисы доклада должны быть оформлены в соответствии с прилагаемым шаблоном (https://disk.yandex.ru/d/Jc8n3g_vF3tEng), иметь объём от одной до двух страниц, включая список литературы, и содержать ясную формулировку основных результатов.

✅Для подачи тезисов просьба использовать регистрационную форму (https://forms.yandex.ru/u/69c699d5902902d410ad120b). Решение о принятии или отклонении тезисов принимает оргкомитет. Допускаются доклады по работам в соавторстве при условии, что очный докладчик удовлетворяет условию 1 выше. Участвовать без доклада могут все желающие, как очно, так и дистанционно; онлайн-подключение планируется организовать через Контур.Толк.

‼Важнейшие даты
регистрация на участие с докладом — не позднее 01.08.2026
регистрация на участие без доклада — не позднее 26.08.2026
даты проведения: c 31.08.2026 по 04.09.2026
Решения о принятии или отклонении тезисов принимаются в течение 10 рабочих дней с момента подачи.