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

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

Новости

Семинар «Методы трансляции с обеспечением локальной толерантности к некорректным данным»

состоялся 12 мая (18.00) 2022 г.
12.05.2022

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

состоялся 07 апреля (18.00) 2022 г.
07.04.2022

Семинар «Генерация слов контекстно-зависимого языка на примере термов ламбда-исчисления»

состоялся 21 марта (18.00) 2022 г.
21.03.2022

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

состоялся 07 февраля (18.00) 2022 г.
07.02.2022

Семинар «Поддержка типовой корректности кода на JavaScript с использованием средств функционального программирования с зависимыми типами (Idris)».

состоялся 10 января (10.00) 2022 г.
10.01.2022

Семинар «Методы описания анимации контента HTML-страниц с помощью модальной временной логики»

состоялся 23 декабря (10.00) 2021 г.
23.12.2021

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

состоялся 18 ноября (10.00) 2021 г.
18.11.2021

Семинар «Генератор ламбда-термов для системы тестирования на основе свойств»

состоялся 01 ноября (18.00) 2021 г.
01.11.2021

Семинар «Тестирование, основанное на свойствах»

состоялся 14 октября (18.00) 2021 г.
14.10.2021

Семинар «Обзор технологии RPC»

состоялся 30 сентября (18.00) 2021 г.
30.09.2021