28.04.2022
Поздравляем Д.В. Чуркина с присвоением звания "Профессор РАН"!
В Российской академии наук состоялись выборы кандидатов на звание «Профессор РАН». Отделение физических наук утвердило на это звание Чуркина Дмитрия Владимировича.
28.04.2022 Поздравляем Д.В. Чуркина с присвоением звания "Профессор РАН"!
21.04.2022 Семинар «Инжиниринг современных информационных систем»22 апреля 2022 г. (пятница), 15:00 (11:00 МСК) Тема: Докладчик: Аннотация: В докладе освещаются текущие подходы к моделированию, языкам спецификации и анализу событийно-непрерывных систем, а также результаты, полученные автором в этой области. 11.04.2022 ИАиЭ СО РАН на Днях карьеры НГУ
08.04.2022 Дипломы I степени в конкурсе Лазерной ассоциации на выставке Фотоника-2022 получили разработки ИАиЭ СО РАН
01.04.2022 Конкурс на замещение вакантных должностей
- три должности инженера-исследователя, отрасль науки – «физика и астрономия»;
- одной должности ведущего научного сотрудника, отрасль науки – «компьютерные и информационные науки»,
Документы направлять по адресу: 630090, г. Новосибирск, проспект Акад. Коптюга, 1, комната 201. Справки по телефону: (383) 333-28-33. Положение о конкурсе и перечень необходимых документов размещены на сайте Института: http://www.iae.nsk.su в разделе «Конкурсы». Объявление о конкурсе размещено на портале вакансий: ученые-исследователи.рф. 31.03.2022 РАН отметила результаты ИАиЭ СО РАН
31.03.2022 Конкурс для студентов и аспирантов «Наука будущего» принимает заявки
30.03.2022 Семинар "Информационные технологии и системы"4 апреля 2022 г. (понедельник), 15:00, конференц-зал ИAиЭ СО РАН. Тема семинара: Восстановление изображений с помощью обучаемых алгоритмов реконструкции Докладчик: Пронина Валерия Сергеевна, 30.03.2022 Семинар «Инжиниринг современных информационных систем»1 апреля 2022 г. (пятница), 15:00 (11:00 МСК) Тема: Докладчик: Аннотация: Определяется концепция автоматного программирования. Представляется язык автоматного программирования, построенный расширением языка спецификаций Event-B. Определяется модель Event-B в автоматном программировании. Описывается технология разработки и верификации на базе системы Event-B. Технология демонстрируется на примере задачи управления движением на мосту из руководства по системе Event-B. ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj видео -- https://youtu.be/la-DLQ4uf8M 28.03.2022 Поздравляем победителя конкурса УМНИК 2021!
|