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

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

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

Поздравляем Д.В. Чуркина с присвоением звания "Профессор РАН"!

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

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

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

22 апреля 2022 г. (пятница), 15:00 (11:00 МСК)

Тема:
Спецификация и анализ событийно-непрерывных систем

Докладчик:
Шорников Юрий Владимирович (ИАиЭ СО РАН, Новосибирск)

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

Cсылка на вебинар

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