Семинар «Зависимые функции в гомотопической теории типов» состоялся 6 июля (18.00) 2023 г. 06.07.2023
Семинар «Методы работы в TeX с использованием низкоуровневых средств форматирования» состоялся 22 июня (18.00) 2023 г. 22.06.2023
Семинар «Среда для составления и изучения систем зависимых типов» состоялся 8 июня (18.00) 2023 г. 08.06.2023
Семинар «Модель семантического конфигурирования с естественными преобразованиями» состоялся 15 мая (18.00) 2023 г. 15.05.2023
Семинар «Передний край концептуальной математики и когнитивного моделирования» (часть 2) состоялся 14 апреля (18.00) 2023 г. 14.04.2023
Семинар «Передний край концептуальной математики и когнитивного моделирования» (часть 1) состоялся 13 апреля (18.00) 2023 г. 13.04.2023
Семинар «Техника создания инсталляционных deb-пакетов для Debian-совместимых Linux систем» состоялся 10 апреля (18.00) 2023 г. 10.04.2023