Минобрнауки России объявляет о начале приема заявок для участия в VII Всероссийском конкурсе научно-исследовательских работ студентов и аспирантов. Финал конкурса состоится в рамках VII Всероссийского молодежного научного форума «Наука будущего – наука молодых» – крупнейшего междисциплинарного молодежного научного мероприятия, проводимого с 2014 года.
Семинар «Инжиниринг современных информационных систем»
1 апреля 2022 г. (пятница), 15:00 (11:00 МСК)
Тема: Автоматное программирование на базе системы моделирования и верификации Event-B
Докладчик: Шелехов Владимир Иванович (Институт систем информатики СО РАН, Новосибирск)
Аннотация: Определяется концепция автоматного программирования. Представляется язык автоматного программирования, построенный расширением языка спецификаций Event-B. Определяется модель Event-B в автоматном программировании. Описывается технология разработки и верификации на базе системы Event-B. Технология демонстрируется на примере задачи управления движением на мосту из руководства по системе Event-B.
Фонд содействия инновациям 14 марта 2022 года подвёл итоги региональных конкурсов «УМНИК». Одним из победителей программы стал проект сотрудника лаборатории дифракционной оптики к.т.н. Белоусова Дмитрия Александровича.
16-я международная специализированная выставка лазерной, оптической и оптоэлектронной техники Фотоника пройдёт 29.03-01.04.2022 в Москве, ЦВК «Экспоцентр», Павильон «Форум».
ИАиЭ СО РАН представляет на ней несколько своих разработок.
Группа учёных из ПГНИУ, Института автоматики и электрометрии Сибирского отделения РАН и Сколковского института науки и технологий работают над созданием технологии производства компактных анализаторов сигналов волоконно-оптических датчиков (КАСВОД) на основе интегральной фотоники и волоконной оптики.
НГУ – это более 8000 студентов, красивый кампус с современной инфраструктурой, программы акселерации стартапов и лучший в России технопарк в шаговой доступности, проекты от компаний и дополнительные стипендии для первокурсников с высоким баллом ЕГЭ и победителей олимпиад. День открытых дверей пройдёт в очном формате: абитуриенты и их родители смогут посетить НГУ лично, пообщаться с представителями факультетов и приёмной комиссией, узнать всё о правилах поступления в 2022 году.
Семинар «Инжиниринг современных информационных систем»
11 марта 2022 г. (пятница), 15:00 (11:00 МСК)
Тема: Инструментальная поддержка разработки через тестирование ПО для вентильных матриц
Докладчик: Сергей Старолетов (ИАиЭ СО РАН, Новосибирск)
Аннотация: На семинаре планируется обсудить концепцию разработки ПО для вентильных матриц на основе подхода test-driven development. Среди прочего планируется провести критический анализ недостатков существующих IDE для FPGA, рассмотреть вопросы использования темпоральных логик, примеры использования подхода на модельной задаче, подходы к поддержке предлагаемого метода разработки на уровне IDE.