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

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

состоялся 10 мая (18.00) 2021 г.
10.05.2021

Семинар "Когнитивная система комбинаторной логики: квинтэссенция компьютерных наук и извлечение знания о компьютинге"

состоялся 22 апреля (18.00) 2021
21.04.2021

Семинар «Реактивное программирование»

состоялся 19 апреля (18.00) 2021 г.
19.04.2021

Профессор В.Э.Вольфенгаген удостоен ELSЕVIER

за выдающийся вклад в развитие Cоmputer Science и публикационную активность
30.03.2021

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

состоялся 22 марта (18.00) 2021 г.
22.03.2021

Семинар «Система модульности для EcmaScript 6. Типизация умолчаний и типизация объяснений»

состоялся 15 февраля (18.00) 2021 г.
15.02.2021

Семинар «Формальные системы и языки программирования с зависимыми типами. Refinement types»

состоялся 21 января (18.00) 2021 г.
21.01.2021

Семинар «Lambda-P исчисление с зависимыми типами»

состоялся 11 января (18.00) 2021 г.
11.01.2021