11 April, 2016
BLAST 2.7.3 at SV-COMP'2016
BLAST 2.7.3 was presented at the 5th International Competition on Software Verification (SV-COMP) held at TACAS 2016 in Eindhoven, Netherlands. This year BLAST has won the bronze medal in the DeviceDriversLinux64 category.
11 March, 2016
Academician V.P. Ivannikov Made a Report on Academic Council of HSE Faculty of Computer Science.
A meeting of the Academic Council of HSE Faculty of Computer Science was held on March, 10.
The 10th Spring/Summer Young Researchers’ Colloquium on Software Engineering will be helld on May 30 – June 1, Krasnovidovo, Moscow Oblast, Russia.
24 November, 2015
Conference «Cloud computing. Education. Research. Development»
Event program is published at the «Cloud computing. Education. Research. Development» conference website. The conference is arranged by ISP RAS and devoted to current problems of utilization and development of free software intended for creation of distributed computation systems.
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 - 38 из 38
Начало | Пред. | 1 2 | След. | Конец