НИЯУ МИФИ: Семинар «Комбинаторная логика и фундаментальные основы вычислительных технологий»

состоялся 26 апреля (13.00-19.00) 2024 г.

26.04.2024

Семинар «Способы представления моделирующих систем на теоретико-категорной основе»

состоялся 18 апреля (18.00) 2024 г.

18.04.2024

Семинар «Абстрактная машина вычисления значений примитивно рекурсивных функций»

состоялся 08 апреля (18.00) 2024 г.

08.04.2024

Семинар «Специфика отладки программ на языках с зависимыми типами»

состоялся 28 марта (18.00) 2024 г.

28.03.2024

Семинар «Использование редукции в библиотеке LambdaJS для обработки строк»

состоялся 14 марта (18.00) 2024 г.

14.03.2024

Семинар «Модульный рефакторинг библиотеки LambdaJS для обеспечения ссылочной прозрачности предоставляемых инструментов»

состоялся 22 февраля (18.00) 2024 г.

22.02.2024

Семинар «Поддержка диалектов JavaScript средствами Babel»

состоялся 05 февраля (18.00) 2024 г.

10.02.2024

Семинар «Транспортировка для зависимой пары в системе гомотопических типов»

состоялся 18 января (18.00) 2024 г.

18.01.2024