Семинар «Зависимые пары в гомотопической теории типов»

состоялся 27 июля (18.00) 2023 г.

27.07.2023

Семинар «Зависимые функции в гомотопической теории типов»

состоялся 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