2024-07-30
PSSV-2023, October 19–21, 2024
PSSV-2024: Workshop on Program Semantics, Specification and Verification: Theory and Applications (Innopolis University, Innopolis, Russia, October 19–21, 2024)
2023-07-12
PSSV-2023, November 3-4, 2023
PSSV-2023: Workshop on Program Semantics, Specification and Verification: Theory and Applications (Innopolis University, Innopolis, Russia, November 3-4, 2023)
2020-12-21
PSSV-2020, November 3-4, 2020
On November 3-4, 2020 XI international Workshop “Program Semantics, Specification and Verification: Theory and Applications” (PSSV-2020) was held in Moscow (Russia).
2020-03-15
'Modeling and Analysis of Information Systems' articles in English translation
The 7th issue (2019) Automatic Control and Computer Sciences is published.
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
On July 1-2, 2019. X international Workshop “Program Semantics, Specification and Verification: Theory and Applications” (PSSV-2019) will be held in Novosibirsk Akademgorodok (Russia).
The workshop is a satellite event of A.P. Ershov Informatics Conference (the PSI Conference Series, 12th edition) in the framework of Computer Science Summer in Russia (CSSR)
2018-11-19
Change in the publication frequency
We ask our authors and readers to pay attention to the fact that since 2019 the frequency of individual issues will change: the journal will be published quarterly.
2018-05-30
PSSV 2018, June 21-22, 2018
On June 21-22, 2018, the IX international seminar “Program Semantics, Specification and Verification: Theory and Applications” (PSSV-2018) will be held in Yaroslavl.
2017-12-19
Round table "MAIS: the role of the journal in the training of scientific & pedagogical staff and support for the development of region scientific schools»
2017-10-20
Серия вебинаров для авторов, которые собираются публиковаться в международных журналах
Компания Clarivate Analytics приглашаем принять участие в серии онлайн-семинаров, посвященных актуальным вопросам научных публикаций, которая пройдет в период с 25 октября по 2 ноября 2017 года.
2017-10-03
Международная конференция «Новые тенденции в нелинейной динамике»
С 5 по 7 октября 2017 г. в ЯрГУ будет проходить Международная конференция «Новые тенденции в нелинейной динамике».
2017-10-03
The journal is included in MathSciNet
Modeling and Analysis of Information Systems is indexed now in the database of the American mathematical society MathSciNet.
