Новости
Утвержден график проведения собеседований в ЛШЮП-2026. Обязательные собеседования пройдут в ИСИ СО РАН (пр. Академика Лаврентьева, 6):
- 9 июня — с 15:00 до 18:00
- 10 июня — с 15:00 до 18:00
Вы можете выбрать любой удобный для вас день.
Внимание! Если вы находитесь в другом городе и не имеете возможности приехать лично, не переживайте. Специально для вас будет организовано онлайн-собеседование, которое пройдет после очного этапа.
По всем вопросам можно писать на нашу почту ssyp@ershovfund.ru
Важно! Чтобы попасть на собеседование, необходимо зарегистрироваться. 7 июня — последний день регистрации. Если вы все еще откладывали заполнение анкеты, самое время сделать это сейчас: https://ssyp.ru.
Карта памяти — образовательный подкаст факультета компьютерных наук ВШЭ, посвященный известным мировым и отечественным ученым в области вычислительной техники и компьютерных наук.
Гостья шестнадцатого выпуска — Ирина Ломазова, научный руководитель научно-учебной лабораторией процессно-ориентированных информационных систем, профессор департамента программной инженерии ФКН. Мы поговорили об Андрее Ершове — одном из пионеров программирования в Советском Союзе, теоретике и практике информационных технологий, основоположнике школьного компьютерного образования.
Ведущий подкаста — Валерий Шилов, профессор департамента программной инженерии ФКН ВШЭ.
Министерство науки и высшего образования Российской Федерации информирует о проведении IV Всероссийского конкурса «Изобретатель года».
Цель Конкурса – выявление и популяризация лучших достижений изобретателей и рационализаторов, обладающих высоким экономическим и/или социальным эффектом, направленных на обеспечение технологического суверенитета и лидерства Российской Федерации.
К участию приглашаются сотрудники образовательных и научных организаций, студенты, аспиранты, а также представители промышленных и технологических компаний и индивидуальные изобретатели.
Срок приема заявок: до 30 сентября 2026 года. Торжественная церемония награждения: 21 ноября 2026 года. Заявки на участие принимаются на сайте Конкурса.
Подробнее см. на сайте конкурса и в приложении.
В четверг 28 мая 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.).
Начало: 10:00.
Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Щукин Никита Игоревич (м.н.с., ИСЭМ СО РАН, г. Иркутск)
Тема: Методический подход к построению цифровых двойников энергетических объектов с использованием онтологического моделирования (на примере ветровой электростанции) (кандидатская\ диссертация)
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
В 2026-2027 учебном году Общероссийская общественная организация «Национальная система развития научной, творческой и инновационной деятельности молодежи в России «Интеграция», проведет комплекс всероссийских мероприятий:
- Всероссийский конкурс молодежи образовательных организаций на лучшую работу «Моя законотворческая инициатива», XXI и XXII всероссийские молодежные форумы;
- Всероссийский конкурс научно-исследовательских и творческих работ молодежи «Меня оценят в XXI веке» и XXIII Всероссийский молодежный фестиваль;
- Всероссийский молодежный конкурс по проблемам культурного наследия, экологии и безопасности жизнедеятельности «ЮНЭКО-2026» и XXIV Всероссийский молодежный форум;
- Всероссийский Тимирязевский конкурс научно-исследовательских, опытноконструкторских, технологических и социальных проектов молодежи в сфере агропромышленного комплекса «АПК – молодежь, наука, инновации», XXI и XXII всероссийские молодежные форумы;
- Всероссийский конкурс научно-исследовательских, проектных и творческих работ работ обучающихся «Обретенное поколение», LVIII и LIX всероссийские конференции обучающихся;
- Всероссийский конкурс научно-исследовательских, изобретательских и творческих работ обучающихся «Наука, творчество, духовность», LVII и LIX всероссийские конференции обучающихся;
- Всероссийский конкурс на лучшую научную работу студентов по гуманитарным наукам «Веление времени», XXI и XXII всероссийские конференции обучающихся;
- Всероссийский конкурс достижений талантливой молодежи «Национальное достояние России» и XXI Всероссийская конференция обучающихся.
Итоговые очные мероприятия победителей отборочных туров состоятся в Конгресс-центре гостиничного комплекса «Космос» (г. Москва, Проспект Мира, д. 150).
Подробная информация о мероприятиях размещена в информационнотелекоммуникационной сети «Интернет» на официальном сайте «Интеграции» и в приложении.
26 мая в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Владимир Евгеньевич Зюбин, д.т.н., в.н.с. лаборатории киберфизических
систем Института автоматики и электрометрии СО РАН
Тема доклада: Процессно-ориентированное программирование промышленных
киберфизических систем
Анализ современного состояния и тенденций развития технологий проектирования и верификации такой бурно-развивающейся области как киберфизические системы (КФС) показывает особую востребованность в решении нетривиальных задач в области математического и программно-алгоритмического обеспечения средств разработки КФС. Эти задачи включают вопросы разработки бесшовных технологий проектирования и прототипирования КФС; вопросы автоматизации контроля функциональной безопасности КФС; а также вопросы создания дружественных языковых и инструментальных средств спецификации требований к КФС.
Теоретические и практические результаты исследований в области проектирования и верификации КФС очевидно демонстрирует тренд перехода к комплексным инструментам, включающим языковые и инструментальные средства моделирования, прототипирования, инженерии требований и верификации, как динамической, так и статической. Таким образом, разработка новых средств моделирования, методов спецификации алгоритмов управления КФС, методов спецификации требований к ПО КФС и методов верификации ПО КФС; и создание на их основе бесшовных (tool-chain) инструментов являются чрезвычайно актуальными направлениями исследований, особенно при насущной необходимости импортозамещения.
В Институте автоматики и электрометрии СО РАН ведутся работы в области решения означенного круга вопросов в рамках процессно-ориентированного подхода. Базовая идея подхода — описание алгоритма управления КФС в виде набора взаимодействующих параллельных процессов с FSM-подобной организацией исполнения.
Доклад посвящен обзору языковых и инструментальных средств, образующих процессно- ориентированную парадигму разработки программного обеспечения промышленных КФС.
Новости за последний месяц
