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

Докладчик: Помелов Сергей Валерьевич (ИВМ и МГ СО РАН, Новосибирск)

Тема: Инструментальная поддержка оценки ресурсоемкости и масштабируемости алгоритмов с учётом архитектур ЭВМ (кандидатская диссертация по специальности 05.13.11)

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

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

Докладчик: Кондратьев Дмитрий (ИСИ СО РАН, Новосибирск)

Тема: Автоматизация дедуктивной верификации C-программ без использования инвариантов циклов

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

Уважаемые коллеги!

В разделе «Ресурсы удаленного доступа» на сайте ГПНТБ СО РАН опубликовано новостное сообщение о предоставлении доступа к журналам Математического института им. В.А. Стеклова РАН (МИАН).

29 ноября 2022 г. с 14:00 до 17:00 (нск) отдел научных исследований открытой науки ГПНТБ СО РАН проведет научный онлайн-семинар «Библиотека для открытой науки».

Спикеры — специалисты ГПНТБ СО РАН:

• Наталья Степановна Редькина, доктор пед. наук, зав. отделом,
• Анна Александровна Стукалова, канд. пед. наук, снс,
• Анна Евгеньевна Рыхторова, мнс,
• Ольга Михайловна Ударцева, канд. пед. наук, мнс,
• Полина Анатольевна Чеснялис, канд. филол. наук, нс,
• Людмила Борисовна Шевченко, канд. пед. наук, снс.

Для участия в семинаре необходима регистрация.

Программа семинара и регистрация доступны на сайте семинара.