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

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

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

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

06.05.2022
Поздравляем с 9 мая!
Уважаемые коллеги и друзья!
Поздравляем вас с Днём Победы!
С глубокой признательностью и благодарностью мы вспоминаем и почитаем подвиги наших предков. Их смелость, героизм и мужество вечно живут в нашей памяти. Желаем вам здровья, силы духа и благополучия во всём!
Дирекция ИАиЭ СО РАН

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

04.05.2022
Семинар «Инжиниринг современных информационных систем»
06 мая 2022 г. (пятница), 15:00 (11:00 МСК)
Тема: Автоматно-функциональный подход к моделированию киберфизических систем (на примере Event-B модели для верификации свойств алгоритма управления движением автомобилей на мосту)
Докладчик: Нейзов Максим Вячеславович
Аннотация: Описывается оригинальный подход к построению моделей киберфизических систем с целью их дедуктивной верификации. В качестве примера будет рассмотрена задача управления движением автомобилей на мосту. Представлена модель киберфизической системы в нотации Event-B, проведена формализация требований к системе. Верификация выполняется с помощью платформы Rodin.
Cсылка на вебинар
Страница семинара

28.04.2022
В Российской академии наук состоялись выборы кандидатов на звание «Профессор РАН». Отделение физических наук утвердило на это звание Чуркина Дмитрия Владимировича.
Подробнее...

21.04.2022
Семинар «Инжиниринг современных информационных систем»
22 апреля 2022 г. (пятница), 15:00 (11:00 МСК)
Тема: Спецификация и анализ событийно-непрерывных систем
Докладчик: Шорников Юрий Владимирович (ИАиЭ СО РАН, Новосибирск)
Аннотация: В докладе освещаются текущие подходы к моделированию, языкам спецификации и анализу событийно-непрерывных систем, а также результаты, полученные автором в этой области.
Cсылка на вебинар
Страница семинара

11.04.2022
6-8 апреля 2022 г. прошли Дни карьеры в Новосибирском государственном университете. Институт автоматики и электрометрии СО РАН был представлен серией разработок физического профиля и презентационными материалами практически по всем основным направлениям деятельности.
Подробнее...
|