Семинар «Методы трансляции с обеспечением локальной толерантности к некорректным данным» состоялся 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
Семинар «Генератор ламбда-термов для системы тестирования на основе свойств» состоялся 01 ноября (18.00) 2021 г. 01.11.2021