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

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

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

Поздравляем победителя конкурса УМНИК 2021!

Фонд содействия инновациям 14 марта 2022 года подвёл итоги региональных конкурсов «УМНИК». Одним из победителей программы стал проект сотрудника лаборатории дифракционной оптики к.т.н. Белоусова Дмитрия Александровича.

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

Сбор информации для вступления в ЖСК

До 29.03.2022 идёт сбор информации от желающих вступить в члены планируемых жилищно-строительных кооперативов.

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