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

Семинар «Поддержка типовой корректности кода на 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

Семинар «Использование автоматов Бучи (Buchi) для описания семантики линейной временной логики»

состоялся 06 сентября (18.00) 2021 г.
06.09.2021

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

состоялся 12 августа (18.00) 2021 г.
12.08.2021