НАО «ЮРИНФОР»
ВойтиЗарегистрироваться

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

Новости

Семинар «JSON Web Token. Определение и использование в web-разработке.»

состоялся 08 декабря (18.00) 2022 г.
08.12.2022

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

состоялся 17 ноября (18.00) 2022 г.
17.11.2022

Семинар «Взаимное расширение целевого языка и вычислительной системы аппликативного типа»

состоялся 08 ноября (18.00) 2022 г.
08.11.2022

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

состоялся 20 октября (18.00) 2022 г.
20.10.2022

Семинар «Поддержка интерпретаций модальных операторов в виде абстрактных объектов»

состоялся 22 сентября (18.00) 2022 г.
22.09.2022

Семинар «Логика и конечные множества в доказательном программировании» (часть 3).

состоялся 1 сентября (18.00) 2022 г.
01.09.2022

Семинар «Логика и конечные множества в доказательном программировании» (часть 2).

состоялся 8 августа (18.00) 2022 г.
08.08.2022

Семинар «Особенности и недостатки среды разработки на Idris (версия 0.5.1.)»

состоялся 21 июля (18.00) 2022 г.
21.07.2022

Семинар «Логика и конечные множества в доказательном программировании» (часть 1).

состоялся 14 июля (18.00) 2022 г.
14.07.2022

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

состоялся 27 июня (10.00) 2022 г.
27.06.2022
Предыдущая страница
Следующая страница
Контакты
jir Разработчик АО «Центр ЮрИнфоР»
Несанкционированное копирование информации
без ссылки на источник категорически запрещено.