«Институт полного производственного цикла» и «кузница «инновационных» кадров»: Институт автоматики и электрометрии СО РАН отметил свое 65-летие

Созданный 65 лет назад Институт автоматики и электрометрии СО РАН является одним из ведущих исследовательских центров страны. Но, помимо научной работы, большое внимание здесь уделяется практическому применению результатов исследований. С 65-летием научной организации её сотрудников поздравили заместитель губернатора Новосибирской области Ирина Мануйлова и министр науки и инновационной политики региона Вадим Васильев.

Подробнее...

Институты СО РАН отмечают 65-летие

В мае 1957 года было принято постановление о создании Сибирского отделения Академии наук СССР для усиления научных исследований в области физико-технических, естественных и экономических наук и быстрейшего развития производительных сил Сибири и Дальнего Востока.

Сегодня 65-летие со дня основания отмечают:

Институт автоматики и электрометрии СО РАН

Институт гидродинамики им. М. А. Лаврентьева СО РАН

Институт геологии и минералогии им. В. С. Соболева СО РАН

Институт математики им. С. Л. Соболева СО РАН

Институт нефтегазовой геологии и геофизики им. А. А. Трофимука СО РАН

Институт теоретической и прикладной механики им. С. А. Христиановича СО РАН

Институт теплофизики им. С. С. Кутателадзе СО РАН

Институт цитологии и генетики СО РАН

Сердечно поздравляем коллективы институтов!

Каждый из институтов принимает непосредственное участие в создании новых прогрессивных технологий, крупных международных исследований.

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

Семинар «Инжиниринг современных информационных систем»

03 июня 2022 г. (пятница), 15:00 (11:00 МСК)

Тема:
Виды вложенности автоматов: формальная семантика (в рамках автоматно-функционального подхода)

Докладчик:
Нейзов Максим Вячеславович

Аннотация: Дается обзор вложенностей разного вида на конкретном примере, а также обсуждается их формальная семантика в терминахавтоматно-функционального подхода. 

Видео -- https://youtu.be/RevSOB8_OBc

Страница семинара

Что может лазер

Институт автоматики и электрометрии СО РАН отмечает 65-летие с момента основания. За время своего существования коллектив института добился значительных успехов в фундаментальных исследованиях в области оптики, фотоники и информационных наук, при этом прикладные разработки учёных активно внедряются в жизнь.

Подробнее...

Новые возможности многосердцевинных волоконных световодов

Новые возможности многосердцевинных волоконных световодов представлены в обзорной статье сотрудников ИАиЭ СО РАН в высокорейтинговом журнале Opto-Electronic Advances

Подробнее...

Лекция Сколтеха в НГУ: кремниевая фотоника и новые технологии в нефтегазовой отрасли пройдёт 25 мая 2022 года

Лекция Сколтеха в НГУ на тему "Кремниевая фотоника и новые технологии в нефтегазовой отрасли" состоится 25-05-2022 в 16:00 часов.

Подробнее...

Позиция экспертных советов РНФ по вопросу учёта публикаций

Экспертные советы Российского научного фонда, руководствуясь решением попечительского совета РНФ от 13 апреля 2022 года, с учетом Постановления Правительства Российской Федерации от 19.03.2022 № 414 «О некоторых вопросах применения требований и целевых значений показателей, связанных с публикационной активностью», выражают свою позицию по вопросам учета публикаций в системе экспертизы РНФ.

Подробнее...

Поздравляем с 9 мая!

Уважаемые коллеги и друзья!

Поздравляем вас с Днём Победы!

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

Дирекция ИАиЭ СО РАН

В Новосибирске прошла I Стратегическая конференции «Импортонезависимость»

27–28 апреля 2022 в Новосибирске, крупном промышленном центре России, в очном формате прошла I стратегическая конференция «Импортонезависимость» – ключевое мероприятие для диалога власти, науки, промышленности, бизнеса и экспертного сообщества в сфере обеспечения технологического и цифрового суверенитета Российской Федерации.

Подробнее...

Семинар «Инжиниринг современных информационных систем»

06 мая 2022 г. (пятница), 15:00 (11:00 МСК)

Тема:
Автоматно-функциональный подход к моделированию киберфизических систем (на примере Event-B модели для верификации свойств алгоритма управления движением автомобилей на мосту)

Докладчик:
Нейзов Максим Вячеславович

Аннотация: Описывается оригинальный подход к построению моделей киберфизических систем с целью их дедуктивной верификации. В качестве примера будет рассмотрена задача управления движением автомобилей на мосту. Представлена модель киберфизической системы в нотации Event-B, проведена формализация требований к системе. Верификация выполняется с помощью платформы Rodin.

видео -- https://youtu.be/891jZr-7Mos

Страница семинара