June 30, S.M. Avdoshin and A. Lazarenko (Department of Software Engineering of HSE) made report on "Anonymity and the Tor deanonymization" on interdivisional Institute Seminar.
24 June, 2016
International summer school ERCOFTAC 2016
In June 8-14, 2016 the international summer school ERCOFTAC events, devoted to three-dimensional turbulent flows modeling, took place in Vilanova i la Geltrú (Spain). Among other invited guests there were Sergey Strizhak (Institute for System Programming of RAS), Ilyas Sibgatullin and Mikhail Kurgansky (MSU, A.M. Obukhov Institute of Atmospheric Physics of RAS).
21 June, 2016
ISPRAS OPEN 2016
We invite you to take part in the scientific-practical Open conference of the ISP RAS, which will take place in December, from 1st to 2nd in the Main hall of the Russian academy of sciences located at: Moscow, Leninskiy prospekt 32A.
03 June, 2016
The 10th Anniversary SYRCoSE Colloquim
The 10th Anniversary Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE) was held on May 30 – June 1 at Moscow State University’s Recreation Center (Krasnovidovo, Mozhaysky District). The event was organized by Institute for System Programming of the Russian Academy of Sciences jointly with Moscow and Saint-Petersburg Universities with financial support of Russian Foundation for Basic Research (grant 16-07-20256), Federal Agency of Scientific Organizations, Exactpro Systems, and EMC Research and Development Center. SYRCoSE authors and speakers represented 6 countries, 16 cities, and 25 organizations.
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.
Новости 21 - 40 из 42
Начало | Пред. | 1 2 3 | След. | Конец