News

Linux Verification Center jointly with Novell Russia announces an open contest for works of students and post-graduate students on the topic of the project «Formalization of the Standards for Linux and Developing the Corresponding Open Source Test Suite». The main focus of the contest is:

Searching for suggestions on improvement of the LSB 3.1 Standard and on enhancement of the SUSE Linux compatibility with LSB 3.1 requirements.

Any full-time students and post-graduates of Russian universities may take part in the contest (consultations and issue of prizes are performed in Moscow, Russia). The main milestones are:

• Applications for participating: till March 6, 2006
• Presenting the works: till May 10, 2006
• Summing up the competition results and awarding: May 15-25, 2006

On 14 December 2005, IBM EE/A conducted a seminar devoted to discussing activities of the Linux Verification Center. Key speakers were:

• Director of Government Programs of IBM EE/A M.A. Guriev;
• Director of ISP RAS, Corresponding Member of RAS, Prof. V.P. Ivannikov;
• Head of UniTesK Lab, Dr. A.K. Petrenko (slides "UniTesK: Testing Technology Based on Formal Specification" );
• Project Manager of the Linux Verification Center , V.V. Rubanov (slides "Establishing Linux Verification Center and Creation of an Open-Source LSB Test Suite" ).

The experts of the Linux Verification Center took part in the seminar "Experience on Using Open Source Software" that took place in the hotel "Natsional", Moscow, Russia on November 24, 2005. The seminar was organized by Russoft in the context of the federal program "Electronic Russia". The head of the UniTesK Lab at ISP RAS Dr. A.K. Petrenko presented a report on the ISP RAS experience with open source projects.

The results of the federal tender on establishing the Linux Verification Center have been announced. The winner is the Institute for System Programming of RAS. The Center is starting active work now. More detailed information can be found in the press release .

Russian Federal Agency for Science and Innovations starts consideration of applications for the federal tender to choose a leading organization that will establish Linux Verification Center on its basis.