Introduction Background Affiliations Offers Partners Contacts
ISPRAS Description Logo
Home   R&D Groups   Projects   Grants   Publications   Downloads


Tuesday, September 4th , 2008

On September 4th , 2008 the innovative program "University cluster" has started.

Monday, November 6th, 2006

Free Standards Group and the Institute for System Programming of the RAS announce a long term joint cooperation to address linux testing challenges..

Wednesday, October 4th, 2006

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..

Monday, April 17th, 2006

International workshop on Model Based Testing, co-located with ETAPS'2006 (Vienna, Austria) has finished..

Tuesday, February 21th, 2006

The ISP RAS on CeBIT 2006.

Tuesday, February 21th, 2006

Gelato ICE: Itanium Conference & Expo (ICE) will be held in San Jose, CA USA on April 24-26, 2006..

Monday, February 20th, 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".

Wednesday, December 14th, 2005

ISP RAS participates in IBM seminar on Linux testing.

Wednesday, October 12th, 2005

Linux Testing Center is open at ISP RAS.

Wednesday, May 18th, 2005

Workshop "Theoretical and experimental aspects of program obfuscation" was held in the Institute for System Programming, Moscow (April 28-30, 2005)

Tuesday, April 26th, 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

Thursday, April 21th, 2005

Institute for System Programming, Russian Academy of Sciences (ISP RAS) became a member of a GO4IT consortium.

Saturday, March 05th, 2005

ISP RAS with Yuri Gurevich from Microsoft Research announces 2nd international workshop on Model-Based Testing co-located with ETAPS 2006 on March 25-26 Vienna, Austria.

Wednesday, November 10th, 2004

The series of monographs of Lipaev V.V. are now available.

Tuesday, March 9th, 2004

Technology UniTesK will be presented at CeBIT.

Wednesday, December 17th, 2003

The section devoted to high performance cluster technology has been published (in Russian).

Tuesday, 30th September, 2003 - Saturday, 5th October, 2003

ISP RAS with ATS company has presented new products at the SoftTool Exhibition in Moscow.

Friday, August 8th, 2003

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.

Monday, July 7th, 2003

Professor Sir Tony Hoare visited our Institute and gave a lectures devoted to verifying compiler problems.

Wednesday, June 18th, 2003

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".

Tuesday, April 8th, 2003

Gelato Strategy Council has approved ISPRAS's membership in Gelato.

Wednesday, February 5th, 2003

International workshop on Model Based Testing, co-located with ETAPS 2004, - March 27-28, 2004 Barcelona, Spain.

Friday, January 10th, 2003

ISPRAS holds tutorial at ETAPS 2003 on "Theory and Practice of Co-Verification Process: UniTesk Story" (Warsaw, April 6th, 2003).


Copyright © 2002 ISP RAS