В четверг, 17 февраля 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Ушакова Мария Сергеевна (СФУ, г. Красноярск)
Тема: Методы и инструментальные средства формальной верификации функционально-потоковых параллельных программ (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.