Новости
Во вторник 29 октября в 14.30 состоится заседание N 1003 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н.Касьянов).
Докладчик: В.В. Титова
Тема: Редуцирующие конкретизации в кроссплатформенном компиляторе Cloud Sisal.
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 17 октября 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Серый Алексей Сергеевич
Тема: Применение генеративных нейронных сетей для извлечения аргументативных отношений из текстов научной коммуникации
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
13 октября в УСК СО РАН, г. Новосибирск, состоялся шахматный блиц-турнир Профсоюза СО РАН.
И в этот раз команда ИСИ СО РАН не ударила в грязь лицом, а ученый секретарь института Насибулов Егор Андреевич, несмотря на сильных соперников и напряженную игру, занял призовое 2-ое место в личном первенстве.
Поздравляем Егора Андреевича, желаем успехов, а коллег зовем присоединиться к спортивной команде нашего института для участия в соревнованиях и дальнейших побед.
С 18 по 21 октября 2024 года состоится второе Российское соревнование по формальной верификации программ VeHa-2024. Данное соревнование пройдет в Иннополисе и онлайн, в основном, онлайн. Одним из главных организаторов соревнования VeHa-2024 является ИСИ СО РАН.
Подробности о соревновании VeHa-2024 приведены на сайте соревнования. Информацию также можно получить в группе в телеграме.