09.04.2021
Минобрнауки России совместно с Советом по грантам Президента Российской Федерации для государственной поддержки молодых российских учёных и ведущих научных школ Российской Федерации объявляет о проведении в 2021 году конкурсного отбора на получение персональных стипендий имени Ж.И. Алферова для молодых учёных в области физики и нанотехнологий.
Начало приёма заявок: 06.04.2021 Окончание приёма заявок: 06.05.2021
Подробнее...
08.04.2021
Российский научный фонд подвёл итоги трёх конкурсов на поддержку фундаментальных и поисковых научных исследований. Среди них конкурс лабораторий, осуществляющих генетические исследования, отдельных научных групп и продления проектов отдельных научных групп, поддержанных грантами в 2018 году. Среди победителей в конкурсе на продление проектов отдельных научных групп 2018 года, поддержанных грантами в 2018 году проект «Разработка физических основ волоконных лазеров с динамической распределённой обратной связью для практических применений», под руководством д.ф.-м.н. Каблукова С.И.
Подробнее...
08.04.2021
В 2021 году на базе Института автоматики и электрометрии СО РАН проводится цикл академических семинаров компании Huawei – одного из глобальных лидеров рынка ИТ-инфраструктуры. Семинары посвящены современным технологиям вычисления, хранения, передачи и обработки данных. Второй семинар пройдёт 22 апреля 2021 г. в 10:00 в конференц-зале ИАиЭ СО РАН.
Подробнее...
07.04.2021
31 марта 2021 года началась регистрация на четвёртый конкурс «Лидеры России» – флагманский проект президентской платформы «Россия – страна возможностей»: среди специальных треков – трек «Наука», инициированный Координационным советом по делам молодежи в научной и образовательной сферах.
Подробнее...
07.04.2021
Плаксина Роза Николаевна
29.12.1937 – 05.04.2021
5 апреля 2021 года после тяжёлой болезни ушла из жизни старейший сотрудник Института (1961–2014), главный специалист по охране труда, ветеран СО РАН
Плаксина Роза Николаевна
Коллектив Института выражает глубокое соболезнование родным и близким покойной.
Прощание состоится 8 апреля с 10:00 до 11:00 в похоронном доме «ИМИ» по адресу ул. Арбузова, 2а. Отправление автобуса в 10:00 от Института автоматики.
31.03.2021
Workshop "Control Software: Models, Methods, and Languages"
Лаборатория киберфизических систем Института проводит международный семинар "Control Software: Methods, Models, and Languages" по формальным и формализованным методам разработки и анализа систем автоматического управления. Это сателлитный семинар при X международной конференции Model and Data Engineering, проходящей в этом году в Таллине в конце июня (вероятнее всего, дистанционно).
Принятые на семинар статьи будут опубликованы в виде трудов в журнале "Communications in Computer and Information Science" (Scopus Q3).
Дедлайн для тезисов – 5 апреля, для полноформатных статей – 12 апреля 2021.
Сайт семинара: https://sites.google.com/view/csmml2021/
27.03.2021
Семинар «Инжиниринг современных информационных систем»
29 марта 2021 г. (понедельник), 10-00 (6-00 МСК)
Тема: Предметно-ориентированное решение для разработки device managment подсистемы семейства телекоммуникационных систем
Докладчик: д.т.н., проф. Кознов Дмитрий Владимирович (СПбГУ)
Аннотация: Разработка новых предметно-ориентированных языков программирования, их интеграция с предметно-ориентированными визуальными языками и реализация итогового программного решения - все это является актуальными задачами при разработке программного обеспечения. Доклад будет посвящен решению этой задачи в рамках семейства программно-аппаратных систем крупной телекоммуникационной корпорации. Особое внимание будет уделено бесшовной интеграции предметно-ориентированного языка программирования и визуального языка, а также архитектуре целевого программного решения.
Видео -- https://www.youtube.com/watch?v=esnvZo-DnRM
Страница семинара
15.03.2021
В 2021 году на базе Института автоматики и электрометрии СО РАН будет проведён цикл академических семинаров компании Huawei – одного из глобальных лидеров рынка ИТ-инфраструктуры. Семинары посвящены современным технологиям вычисления, хранения, передачи и обработки данных.
Подробнее...
12.03.2021
Семинар «Инжиниринг современных информационных систем»
16 марта 2021 г. (вторник), 10-00 (6-00 МСК)
Тема: Опыт верификации автоматных программ на платформе Rodin (на примере задачи управления генератором эндогаза)
Докладчик: Максим Нейзов (Проектный институт АвтоПромТермоОбработка, Курган)
Аннотация: Формальный дедуктивный анализ представляет собой строгий математический подход к верификации алгоритмов: алгоритм описывается с помощью аксиом, а требуемые свойства доказываются как теоремы. В докладе на примере технологического процесса генерации эндогаза рассматривается процедура дедуктивной верификации на платформе Rodin (Event-B): описывается задача, автоматный алгоритм управления, определяются требования, приводится процедура преобразования алгоритма и требований для целей верификации в виде набора аксиом и теорем, демонстрируется процедура верификации, которая сводится к доказательству теорем.
Материалы: 1. Максим Нейзов. Формальный дедуктивный анализ автоматного алгоритма управления генератором эндогаза с помощью платформы Rodin. Часть 1. Часть 2. Часть 3. 2. Презентация доклада. 3. Архив проекта Rodin.
Видео -- https://youtu.be/Miqi4DWqS8o
Страница семинара
05.03.2021
С Международным женским днём!
Дорогие женщины, самые очаровательные и неповторимые, поздравляем вас с Международным женским днём! Желаем вам чудесных дней, наполненных радостными событиями, красивыми словами и делами, любовью и душевностью. Пусть ваши желания исполняются всё чаще, близкие окружают вас теплом и нежностью, заботой и безграничным вниманием! Счастья вам, прекрасные дамы, и пусть оно не заканчивается!
С праздником!
|