![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_60.png?itok=OzqrXSmo)
В четверг, 17 февраля 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Ушакова Мария Сергеевна (СФУ, г. Красноярск)
Тема: Методы и инструментальные средства формальной верификации функционально-потоковых параллельных программ (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.