НАО «ЮРИНФОР»

Подписаться на новости Отписаться

Новости

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

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

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

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

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

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

Семинар «Aлгоритм Бета для классической и интуиционистской логики»

состоялся 21 декабря (18.00) 2023 г.
21.12.2023

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

состоялся 07 декабря (18.00) 2023 г.
07.12.2023

Семинар «Типизация рекурсивных структур построения типов»

состоялся 27 ноября (18.00) 2023 г.
27.11.2023

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

состоялся 09 ноября (18.00) 2023 г.
09.11.2023

Семинар «Экстенсиональность функций в гомотопической теории типов».

состоялся 30 октября (18.00) 2023 г.
30.10.2023

Семинар: «Среда для определения и изучения систем зависимых типов и необходимые для неё метатеоретические средства (продолжение)»

состоялся 16 октября (18.00) 2023 г.
16.10.2023

Семинар: «Среда для определения и изучения систем зависимых типов и необходимые для неё метатеоретические средства»

состоялся 12 октября (18.00) 2023 г.
12.10.2023