News
30 December, 2018
Hironori Kasahara congratulated ISP RAS and IEEE Computer Society Russia with the 70th anniversary of IT
09 August, 2018
Color Platform second Global Meetup in Moscow on 21.08.2018
Education courses
Methods of test program generation for microprocessors
Construction of the Operating System Kernel
Special Seminar “The Correctness of the Programs”
Open Systems and Organization of the Session Security
Kuliamin Victor. Spring Semi-Annual Course.
Software Development Technologies. Component-based Approach.
Formal Specification and Verification of Programs