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