Во вторник 4 ноября в 14.30 состоится заседание N 1019 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).

Докладчик: Т.А. Золотухин
Тема: Visual Graph: текущие результаты и дальнейшее развитие проекта

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

Во вторник 28 октября 2025 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).

Время проведения: 17.00-18.30 НСК (13.00-14.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.

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

Докладчик: Разбитнова Юлия Юрьевна, студент 2-го курса магистратуры ММФ НГУ
Тема: Язык Verilog: от описания аппаратуры до формальной верификации

Вниманию участников семинара! Так как следующий вторник 4 ноября — День народного единства, то семинар пройдет или в четверг 6 ноября, или в пятницу 7 ноября, день, время , тема и докладчик будут объявлены заранее.

Поздравляем заведующую отдела научно-технической информации Адрианову Ирину Борисовну с днём рождения!

Дорогая Ирина Борисовна! Желаем Вам успехов и вдохновения в работе, хорошего здоровья, уважения, понимания и добра среди друзей и коллег! Пусть задуманное в день рождения желание непременно исполнится и все получится!

5-8 ноября 2025 г. состоится VeHa-2025 — III Контест российский Verification Hackathon (соревнование по формальной верификации программ).

Данное соревнование пройдет гибридно: в Новосибирском Государственном Университете и Online как мероприятие-спутник Открытой Всесибирской олимпиады по программированию им. И.В. Поттосина.

Одним из главных организаторов соревнования VeHa-2025 является ИСИ СО РАН.

Подробная информация о VeHa-2025, о регистрации участников и о предыдущих соревнованиях из серии VeHa на странице мероприятия.