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

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

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