17 апреля 2026 г. в НИЯУ МИФИ пройдёт очередной научно‑технический семинар λ‑102 по аппликативным вычислительным системам и фундаментальным основам вычислительных технологий. Это уже третий семинар серии, которую мы начали в 2024 году в честь 100‑летия знаменитой статьи М. Э. Шейнфинкеля по комбинаторной логике. Фактически это живая точка сборки всех, кому интересны комбинаторы, λ‑исчисление, теория типов, функциональное программирование и их реальные применения в современных вычислительных технологиях. Цель семинара — не только «прочитать доклады», но и обсудить текущие исследования, архитектурные решения и образовательные практики вокруг аппликативных подходов. В тематике — аппликативные вычислительные системы, комбинаторная логика и λ‑исчисление, теория категорий, логика и теория типов, спецификация и верификация программных систем, функциональное программирование, интеллектуальные технологии. К участию с докладом приглашаются исследователи, практики и студенты. Для заявки нужно до 27 марта прислать тему, краткую аннотацию, предпочтительную длительность выступления (5, 10 или 20 минут) и отметку о желании опубликовать статью в материалах семинара на адрес оргкомитета: pashapkin@mephi.ru (Шапкин Павел Александрович). Избранные доклады будут опубликованы в специальном номере журнала «Информационно‑измерительные и управляющие системы» (К2 ВАК), выход которого запланирован на август 2026 года. Если тебе близки комбинаторы, λ‑исчисление, доказуемые программы и всё, что вокруг, — имеет смысл в этом потоке отметиться.