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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ИАиЭ СО РАН на Днях карьеры НГУ

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

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

Дипломы I степени в конкурсе Лазерной ассоциации на выставке Фотоника-2022 получили разработки ИАиЭ СО РАН

Международная специализированная выставка «Фотоника. Мир лазеров и оптики» прошла в Москве 29.03-01.04.2022. За время работы выставки представители Института автоматики и электрометрии СО РАН рассказали о своих разработках, приняли участие в рабочих совещаниях Центра компетенций НТИ «Фотоника» и получили заслуженные награды.

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

Конкурс на замещение вакантных должностей

Федеральное государственное бюджетное учреждение науки Институт автоматики и электрометрии СО РАН объявляет конкурс на замещение следующих вакантных должностей:

- три должности инженера-исследователя, отрасль науки – «физика и астрономия»;

дата начала приема заявок – 17 марта 2022г.
дата окончания приема заявок – 16 мая 2022г.;

- одной должности ведущего научного сотрудника, отрасль науки – «компьютерные и информационные науки»,

дата начала приема заявок – 28 марта 2022г.
дата окончания приема заявок – 27 мая 2022г.

Документы направлять по адресу: 630090, г. Новосибирск, проспект Акад. Коптюга, 1, комната 201. Справки по телефону: (383) 333-28-33.

Положение о конкурсе и перечень необходимых документов размещены на сайте Института: http://www.iae.nsk.su в разделе «Конкурсы».

Объявление о конкурсе размещено на портале вакансий: ученые-исследователи.рф.

РАН отметила результаты ИАиЭ СО РАН

Ряд разработок ИАиЭ СО РАН были включены Российской академией наук в перечень важнейших научных результатов.

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

Конкурс для студентов и аспирантов «Наука будущего» принимает заявки

Минобрнауки России объявляет о начале приема заявок для участия в VII Всероссийском конкурсе научно-исследовательских работ студентов и аспирантов. Финал конкурса состоится в рамках VII Всероссийского молодежного научного форума «Наука будущего – наука молодых» – крупнейшего междисциплинарного молодежного научного мероприятия, проводимого с 2014 года.

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

Семинар "Информационные технологии и системы"

4 апреля 2022 г. (понедельник), 15:00, конференц-зал ИAиЭ СО РАН.

Тема семинара:

Восстановление изображений с помощью обучаемых алгоритмов реконструкции
(диссертация на соискание учёной степени кандидата технических наук)

Докладчик: Пронина Валерия Сергеевна,
(Сколковский Институт Науки и Технологий, Москва)

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

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

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

Тема:
Автоматное программирование на базе системы моделирования и верификации Event-B

Докладчик:
Шелехов Владимир Иванович
(Институт систем информатики СО РАН, Новосибирск)

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

ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj

видео -- https://youtu.be/la-DLQ4uf8M

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