Новости

Департамент государственной политики в сфере научнотехнологического развития Министерства науки и высшего образования Российской Федерации информирует о начале приема заявок на участие в конкурсе фотографии представителей научнообразовательного сообщества «Ученые и инженеры – создатели нового миропорядка», который проводится автономной некоммерческой организацией «Национальные приоритеты» в рамках мероприятий Десятилетия науки и технологий, объявленного Указом Президента Российской Федерации от 25 апреля 2022 года № 231.

Конкурс приурочен к празднованию Дня российской науки и направлен на популяризацию научного знания и мотивацию к использованию современных, высокотехнологичных средств и методов для воплощения творческих идей среди ученых, а также формирование коллективного образа современного ученого и инженера.

Информацию о номинациях, правилах и сроках его проведения см. во вложении и на официальном сайте конкурса.

Дмитрий Александрович Кондратьев

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

Докладчик: Дмитрий Александрович Кондратьев, к.ф.-м.н., научный сотрудник Лаборатории теоретического программирования ИСИ им. А.П. Ершова СО РАН
Тема доклада: «Соревнование по формальной верификации программ VeHa-2024: два года большого пути»

В 2023 году было проведено первое в России соревнование по формальной верификации программ VeHa-2023. Данное соревнование позволило заложить основы для успешного проведения соревнования VeHa-2024 в 2024 году. В данном докладе будут рассмотрены развитие и перспективы серии соревнований VeHa.

Ссылка на трансляцию: https://meet.google.com/jxq-vbxv-mvd

Новогодняя атмосфера царит в нашем Институте, благодаря коллегам и конкурсу на лучшее новогоднее украшение дверей и окон кабинетов "Новогоднее настроение".

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

Дети и внуки сотрудников не отстают от своих родителей, и поучаствовали в творческом конкурсе на новогоднюю и рождественскую тематику «Новый год-2025». Поделками можно полюбоваться на стенде в холле и в фотоальбоме.

Завершились новогодние мероприятия вручением подарков детям Профсоюза и Новогодней Ёлкой со Снегурочкой и Дедом Морозом, на которую все ребята были приглашены Профсоюзом ИВМиМГ СО РАН. Альбом с праздничными фотографиями по ссылке.

Профсоюз ИСИ СО РАН поздравляет коллег с наступающим Новым годом и желает всех благ, радости и достижений.

С наступающим 2025 годом!

Дорогие коллеги, поздравляем вас с наступающим Новым годом!

Желаем вам дороги без препятствий к успеху, точных целей и многообещающих планов! Желаем верных друзей и домашнего тепла и благополучия! Ещё пожелаем большого достатка и неизменной удачи. Пусть в новогоднюю ночь осуществляются все желания каждого!

Режим входа в здание института в праздничные дни следующий:

  • 28 декабря – рабочая суббота;
  • 29 декабря - 8 января – выходные дни:
    • 31 декабря и 1 января проход в здание запрещен;
    • 29-30 декабря и 2-8 января - проход только по утвержденным спискам (время нахождения с 8:30 до 20:00).