Поздравляем к.ф.-м.н. Кондратьева Дмитрия Александровича), занявшего второе место в конкурсе, автора цикла работ «Комплексный подход к автоматизации дедуктивной верификации программ с финитными итерациями», представленных на премию имени А.П. Ершова – за работы в области информатики, теории и автоматизации программирования, c награждением Почетной грамотой СО РАН участника конкурса по присуждению премии имени выдающихся ученых Сибирского отделения РАН.

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

Отдел исследований открытой науки (ГПНТБ СО РАН) предлагает вам:

• участие в бесплатной серии вебинаров “7 шагов к открытой науке для молодых ученых”, организованной совместно с Белорусской библиотечной ассоциацией, Национальной библиотекой Беларуси, Научной библиотекой БНТУ и Фундаментальной библиотекой БГУ;
• сотрудничество с ГПНТБ СО РАН в рамках проектов научного волонтерства!

Информационные письма — во вложениях.

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

Докладчик: Коробко Анна Владимировна
Тема: Технология информационно-аналитической поддержки принятия решений на основе федерализации разнородной информации в концепции многомерного представления данных (докторская диссертация)

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

Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.

1 октября в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.

Докладчик: д.ф.-м.н. Александр Ефимович Гутман, Институт математики им. С.Л. Соболева
Тема доклада: «Нестандартная теория множеств» или «Анализ бесконечно малых возвращается»

Ссылка на трансляцию: https://meet.google.com/iqv-wmpy-eoy