Семинар теоретического и экспериментального программирования имени В.А. Непомнящего

Руководитель:

Секретарь семинара: к.ф.-м.н. Шилов Николай Вячеславович

Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.

По традиции новосибирские участники семинара приглашаются в к. 239 ИСИ СО РАН.

Тема следующего семинара:

Реферат статьи Detecting Vector Container Errors in C++ Programs via Abstract Interpretation" (Liu et al., 2026)

Докладчик:

Станислав Мищенко (магистрант СПбГУ)

Дата проведения:

24.03.2025 - 17:30

Список студентов:

Кафедра программирования