PSSV-2024: Семинар по семантике, спецификации и верификации программ: теория и приложения

18–21 октября 2024 г., гибридный формат: очно в Университете Иннополис (Иннополис, Россия) и онлайн

PSSV-2023: Семинар по семантике, спецификации и верификации программ: теория и приложения (Университет Иннополис, Иннополис, Россия, 3–4 ноября 2023 г.)

Вышел в свет 7-й номер (2019) Automatic Control and Computer Sciences.

1-2 июля 2019 года в Новосибирском Академгородке будет проходить X Международный семинар “Program Semantics, Specification and Verification: Theory and Applications” (PSSV-2019).

21-22 июня 2018 года в Ярославле будет проходить IX Международный семинар “Program Semantics, Specification and Verification: Theory and Applications” (PSSV-2018).

21/12/17. Презентация программы развития журнала и возможностей ученых, которые в нем публикуются. Обсуждение критериев к публикации и политики рецензирования. Представление экспертов журнала профессиональной публике.

Компания Clarivate Analytics приглашаем принять участие в серии онлайн-семинаров, посвященных актуальным вопросам научных публикаций, которая пройдет в период с 25 октября по 2 ноября 2017 года.

С 5 по 7 октября 2017 г. в ЯрГУ будет проходить Международная конференция «Новые тенденции в нелинейной динамике».

Журнал МАИС включен в базу данных Американского математического общества MathSciNet.