Новости
Во вторник 14 октября 2025 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.00-18.30 НСК (13.00-14.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Николай Вячеславович Шилов (преподаватель Лицея 22 "Надежда Сибири")
Тема: Студент! Учись доказывать рекурсивные программы правильно!
Обычно курс по дедуктивной верификации рассказывает о верификации итеративных программ, спецификации которых могут содержать функции, заданные рекурсивно. Но в этом докладе будет рассказано для студентов как специфицировать программы с рекурсией, что такое табличные доказательства, и как они возникают при верификации рекурсивных программ.
6 октября стартовал новый сезон научно-популярного конкурса «Наука. Территория героев» для школьников и студентов в возрасте от 10 до 25 лет, который проводится при поддержке Национальных проектов России и входит в инициативу «Наука побеждать» Десятилетия науки и технологий.
Конкурс проходит с 6 октября 2025 года по февраль 2026 года по нескольким тематическим трекам: «Энергия и числа» (физико- математический), «Биохимия открытий» (химико-биологический), «Наука в жизни» (общеобразовательный), «Научный креатон» (создание творческих проектов).
Зарегистрироваться можно на платформе герои.наука.рф, где также размещены статьи и видеоэкскурсии о научных достижениях и открытиях российских ученых.
Информационные материалы о конкурсе будут размещаться не только на платформе, но и в сообществе конкурса в социальной сети VK.
7 октября в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Ирина Александровна Крайнева, д.и.н., в.н.с. лаборатории информационных систем ИСИ им. А.П. Ершова СО РАН
Тема доклада: «Юрий Борисович Румер: биография как пазл»
Доклад посвящен физику-теоретику Ю.Б. Румеру (1901–1985), его сложной и одновременно необычной судьбе. Ровесник века, он участвовал в экспорте революции, становлении квантовой физики, подвергся репрессиям в годы Большого террора, создавал академическую науку в Сибири, учил студентов теории унитарной симметрии, писал учебники. На всю жизнь он сохранил память о Гёттингене, где провел три года в обществе М. Борна, встречался с А. Эйнштейном, которому его прочили в помощники. В Германии Румер познакомился в Л.Д. Ландау, с ним разделил дружбу, работу и заточение. После освобождения и реабилитации Юрий Борисович поселился в новосибирском Академгородке, где его еще помнят. Его питомцы-теоретики работают по всему миру, они по сей день вспоминают с трепетом, что были в двух рукопожатиях от Эйнштейна, отмечают эрудицию, скромность, порядочность, европейский стиль Юрия Борисовича, которые он сохранил несмотря на годы, проведенные в шарашке и ссылке.
Ссылка на дистанционное подключение:
https://telemost.yandex.ru/j/28195834907584
13-14 октября 2025 года в ФГАОУ ВО "Новосибирский национальный исследовательский государственный университет" пройдет Фестиваль историко-документального кино при содействии Департамента молодежной политики Новосибирской области и Агентства поддержки молодежных инициатив. Организаторы фестиваля: фонд "История Отечества" и "Российское историческое общество".
Кинопоказы будут проходить по адресу: г. Новосибирск, ул. Пирогова, 3, 1 этаж (корпус поточных аудиторий, креативное студенческое пространство).
Приглашаем принять участие в мероприятии.
Новости за последний месяц
