Proceedings of the Institute for System Programming of the Russian Academy of Sciences (ISP RAS Proceedings) have been published since 2000 (with ISBN). The publication was founded by the Institute on the initiative of Academician V.P. Ivannikov. The purpose of the publication was to provide fast peer-reviewed publications on the subject of the Institute for System Programming: operating systems; compiler technology; databases and information systems; parallel and distributed systems; automated software development; verification, validation and testing; static and dynamic analysis; software protection and security; computer algorithms; Artificial Intelligence.
In the early years, Proceedings of ISP RAS published mostly articles by the Institute employees, but as the edition developed, more and more articles by authors from other Russian and foreign research organizations and universities were published.
Until 2010, the proceedings of ISP RAS were published in traditional paper form, the publication lacked the ISSN and a strict timetable for the release of the next issues, but usually every year 1-2 new “regular” volumes were published, and sometimes special subject volumes were published.
Since 2010, the Proceedings of ISP RAS have been published in the form of a periodical electronic edition with simultaneous publication in small print editions in paper form (ISSN 2220-6426 (Online), ISSN 2079-8156 (Print)). Until the beginning of 2014, two regular volumes were published annually; by decision of the editorial board, additional thematic volumes were allowed to be published. Since 2014, the Proceedings of the ISP RAS have been published in a more traditional form: one volume per year, six issues (issues) in each volume.
The Proceedings of ISP RAS are registered in the Federal Agency for Press and Mass Communications as a mass media - a scientific electronic periodical (registration certificate Al No. FS77-42228). Proceedings of ISP RAS are included in the HAC List of Russian peer-reviewed scientific journals, in which the main scientific results of dissertations for the doctoral and doctoral degrees should be published, reviewed and / or indexed in RISC, MathNet, Google Scholar, Cyberleninka, etc.