Ivannikov Institute for System Programming of the RAS


24 November, 2015
Open conference on compiler technologies

Open conference on compiler technologies arranged by ISP RAS and Samsung company will take place on December, 2nd 2015 in the RAS Presidium building.

24 November, 2015
Workshop «Free software for solving continuum mechanics problems»

On December, 4th, 2015 a workshop «Free software for solving continuum mechanics problems» will take place in the RAS Presidium building.

20 November, 2015
Lecture by Professor Zainalabedin Navabi (University of Tehran, Iran / Worcester Polytechnic Institute, USA)
Professor Zainalabedin Navabi (University of Tehran, Iran / Worcester Polytechnic Institute, USA) will give a lecture/tutorial at ISP RAS on December 18 at 14:00 (audience 110).

12 October, 2015
5th Linux Driver Verification Workshop took place in Moscow
5th Linux Driver Verification Workshop dedicated to the 10th anniversary of the Linux Verification Center of ISPRAS was held in Moscow, Russia on September 15-18. The workshop was arranged by prof. Alexander Petrenko (Linux Verification Center, ISPRAS, Moscow, Russia) and prof. Dirk Beyer (University of Passau, Germany).

01 October, 2015
10th Anniversary of the Linux Verification Center
October 22, Thursday, at 18.00, the panel section "ISPRAS Linux Verfication Center: First Ten Years" will take place at Digital October Center as a part of Central and Eastern European Software Engineering Conference.

04 September, 2015
MicroTESK (Microprocessor TEsting and Specification Kit) version 2.3 has been released
MicroTESK (Microprocessor TEsting and Specification Kit) version 2.3 has been released. The new version supports generating test programs for functional verification of memory management units of microprocessors.

08 May, 2015
The 10th Workshop on Model-Based Testing

The 10th Workshop on Model-Based Testing was held on April 18, 2015 in London. The workshop was organized by the members of the Software Engineering Department: the Head of the Department, prof. Alexander Petrenko was the Chair of the Program Committee and the Senior Researcher Nikolay Pakulin was the secretary of the Workshop.

20 April, 2015
BLAST 2.7.3 at SV-COMP'2015

BLAST 2.7.3 was presented at the 4rd International Competition on Software Verification (SV-COMP) held at TACAS 2015 in London, United Kingdom. This year BLAST has won the gold medal in the DeviceDrivers64 category.

10 November, 2014
Report by professor Assaf Shuster (Israel Institute of Technology)

A seminar of the ISP RAS will take place on November 13, at 16:00 in audience 110. Professor Assaf Shuster (Israel Institute of Technology) will make a report on the seminar.

30 September, 2014
Cloud Computing. Education. Research. Development 2014

Organizers are pleased to announce the 5th «Cloud computing. Education. Research. Development» conference. The conference will take place in December 4-5, 2014 in Presidium of the Russian Academy of Sciences.

04 September, 2014
Big Data Open Lab – laboratory for Big Data technologies promotion

Dell company and the Institute for System Programming of the Russian Academy of Sciences (ISP RAS) in association with CompTek company announce the opening of Big Data Open Lab - a practical center for promotion and development of very-large-scale databases analysis technologies to the benefit of Russian organizations.

26 December, 2012
7th Spring/Summer Young Researcher' Colloquium on Software Engineering

The 7th Spring/Summer Young Researcher' Colloquium on Software Engineering (SYRCoSE 2013) will be held in Kazan, Russia in May 30-31, 2013.

04 July, 2011
The 6th Open Cirrus Summit

The 6th Open Cirrus Summit will be hosted by CERCS, October 12-13, 2011.

29 June, 2011
НР announces winners of Catalyst Initiative

HP announced the HP the expansion of HP Catalyst initiative – run out of the HP Office of Global Social Innovation – to 56 members with the addition of 21 new organizations from 12 countries and a new "STEM-preneur" consortium.


Новости 21 - 34 из 34
Начало | Пред. | 1 2 | След. | Конец