Семинар «Линейные и ветвящиеся временные логики. Часть 1. Структуры Крипке»

состоялся 04 июля (18.00) 2024 г.

04.07.2024

Семинар «Построение трансформационных семантик признаков объектов данных»

состоялся 24 июня (18.00) 2024 г.

24.06.2024

Семинар «Технологии сбора данных, зависящих от разных фрагментов описания состояния системы»

состоялся 10 июня (18.00) 2024 г.

10.06.2024

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

состоялся 20 мая (18.00) 2024 г.

20.05.2024

НИЯУ МИФИ: Семинар «Комбинаторная логика и фундаментальные основы вычислительных технологий»

состоялся 26 апреля (13.00-19.00) 2024 г.

26.04.2024

Семинар «Способы представления моделирующих систем на теоретико-категорной основе»

состоялся 18 апреля (18.00) 2024 г.

18.04.2024

Семинар «Абстрактная машина вычисления значений примитивно рекурсивных функций»

состоялся 08 апреля (18.00) 2024 г.

08.04.2024

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

состоялся 28 марта (18.00) 2024 г.

28.03.2024