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

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 идёт сбор информации от желающих вступить в члены планируемых жилищно-строительных кооперативов.

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

Фотоника. Мир лазеров и оптики – 2022

16-я международная специализированная выставка лазерной, оптической и оптоэлектронной техники Фотоника пройдёт 29.03-01.04.2022 в Москве, ЦВК «Экспоцентр», Павильон «Форум».

ИАиЭ СО РАН представляет на ней несколько своих разработок.

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

В Перми создадут к 2024 году датчик мониторинга объектов, работающий в любую погоду

Группа учёных из ПГНИУ, Института автоматики и электрометрии Сибирского отделения РАН и Сколковского института науки и технологий работают над созданием технологии производства компактных анализаторов сигналов волоконно-оптических датчиков (КАСВОД) на основе интегральной фотоники и волоконной оптики.

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

РНФ объявлены международные конкурсы

Российский научный фонд извещает о проведении открытых публичных конкурсов на получение грантов Фонда по приоритетным направлениям деятельности РНФ.

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

Новосибирский государственный университет приглашает на День открытых дверей 27 марта

НГУ – это более 8000 студентов, красивый кампус с современной инфраструктурой, программы акселерации стартапов и лучший в России технопарк в шаговой доступности, проекты от компаний и дополнительные стипендии для первокурсников с высоким баллом ЕГЭ и победителей олимпиад. День открытых дверей пройдёт в очном формате: абитуриенты и их родители смогут посетить НГУ лично, пообщаться с представителями факультетов и приёмной комиссией, узнать всё о правилах поступления в 2022 году.

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

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

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

Тема:
Инструментальная поддержка разработки через тестирование ПО для вентильных матриц

Докладчик:
Сергей Старолетов (ИАиЭ СО РАН, Новосибирск)

Аннотация: На семинаре планируется обсудить концепцию разработки ПО для вентильных матриц на основе подхода test-driven development. Среди прочего планируется провести критический анализ недостатков существующих IDE для FPGA, рассмотреть вопросы использования темпоральных логик, примеры использования подхода на модельной задаче, подходы к поддержке предлагаемого метода разработки на уровне IDE.

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

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

Новости библиотеки

Подготовлен список книг, поступивших в фонд ГПНТБ СО РАН по тематике ИАиЭ. Издания можно заказать по МБА.

Список

Молодым учёным ИАиЭ СО РАН присуждена премия Научного совета РАН по аналитической химии

Молодые учёные Института автоматики и электрометрии Сибирского отделения Российской академии наук Бабин Сергей Александрович и Дзюба Анатолий Александрович удостоены премии совета за создание новых спектрометров для метода сцинтилляционной атомно-эмиссионной спектрометрии.

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