Preview

Моделирование и анализ информационных систем

Расширенный поиск

Новости

2020-12-21

PSSV-2020, November 3-4, 2020


3-4 ноября 2020 года в Москве прошел XI Международный семинар “Program Semantics, Specification and Verification: Theory and Applications” (PSSV-2020).

2019-12-20

SYRCoSE 2020


Spring/Summer Young Researchers’ Colloquium on Software Engineering
May 28-30, Saint Petersburg, Russia

2019-04-30

PSSV-2019, July 1-2, 2019


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

2018-11-19

Изменение периодичности выхода в свет

Обращаем внимание наших авторов и читателей, что с 2019 года периодичность выхода отдельных номеров изменяется: журнал будет выходить ежеквартально.

2018-05-30

PSSV 2018, June 21-22, 2018


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

2017-12-19

Круглый стол «МАИС: роль журнала в подготовке научно-педагогических кадров и поддержке развития научных школ региона»

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

2017-10-20

Серия вебинаров для авторов, которые собираются публиковаться в международных журналах


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

2017-10-03

Международная конференция «Новые тенденции в нелинейной динамике»

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

2017-10-03

Журнал включен в MathSciNet

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