28 апреля пройдет объединенный семинар "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (руководитель - д.ф.-м.н, профессор Касьянов В.Н.). Начало в 14:30.
Докладчик: Д.А. Кондратьев
Тема: Аксиоматическая семантика языка Cloud Sisal Kernel.
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Идентификатор конференции Zoom: 930 5296 3931
Пароль участники семинара могут получить у В.Н. Касьянова по электронной почте.