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