On September 4th , 2008 the innovative program "University cluster" has started.
Free Standards Group and the Institute for System Programming of the RAS announce a long term joint cooperation to address linux testing challenges..
On October 25, 2006, a User Workshop on Go4IT Testing Platform will be held. The Go4IT platform is intended for conformance testing of implementations of the IPv6 - next generation Internet Protocol..
International workshop on Model Based Testing, co-located with ETAPS'2006 (Vienna, Austria) has finished..
The ISP RAS on CeBIT 2006.
Gelato ICE: Itanium Conference & Expo (ICE) will be held in San Jose, CA USA on April 24-26, 2006..
Institute for System Programming of the Russian Academy of Sciences, Linux Verification Center together with the Russian representation of the Novell declare open competition of students and post-graduates operations on subjects of the project "Development open (open source) a test set and Linux Verification Center forming".
ISP RAS participates in IBM seminar on Linux testing.
Linux Testing Center is open at ISP RAS.
Workshop "Theoretical and experimental aspects of program obfuscation" was held in the Institute for System Programming, Moscow (April 28-30, 2005)
According to recently published 2-nd editions of list Top50 the supercomputer "ARMCLUSTER", developed and constructed in the spring of 2004 joint efforts of experts ISP RAS and IIAP of the National Academy of Sciences of the Republic of Armenia has entered into the five of the most powerful computing systems of the CIS countries
The series of monographs of Lipaev V.V. are now available.
The section devoted to high performance cluster technology has been published (in Russian).
Institute became a founding member of ForTIA, the Formal Techniques Industrial Association (a subgroup of FME, Formal Methods Europe). ISPRAS will participate in building this association during Industry Day of FM 2003 International Symposium.
Professor Yuri Gurevich (Microsoft Research), creator of Abstract State Machine formalism, visited ISP RAS and gave a lecture "Executable Specifications: The Abstract State Machine Approach".
Gelato Strategy Council has approved ISPRAS's membership in Gelato.
International workshop on Model Based Testing, co-located with ETAPS 2004, - March 27-28, 2004 Barcelona, Spain.
ISPRAS holds tutorial at ETAPS 2003 on "Theory and Practice of Co-Verification Process: UniTesk Story" (Warsaw, April 6th, 2003).