20 December, 2016
Russian World-class Software Presented at the ISP RAS Open Conference
The 1-st Research and Development Conference of the Institute for System Programming RAS took place at the Russian Academy of Sciences in the beginning of December. The conference summed up two decades of work, during which the Institute had been developing new software products, technologies and services. Many of them were unknown to a wider audience until recently; some of those, featured at the conference, attracted considerable interest of the colleagues in the IT sphere and journalists.
On December, 1-2 the Institute for System Programming of the Russian Academy of Sciences will arrange the first scientific-practical Open conference devoted to the ISP RAS fundamental researches, technologies and practical studies which have been closed on agreement with projects’ originators. Latest projects on implementing new technologies in industry, executed together with foreign and Russian industry partners will be presented to participants.
An industrial tool for strategic analysis of programs source code Svace, designed to search for a wide range of critical code errors, vulnerabilities and flaws, became one of three nominee for «Technology of the year» CNews AWARDS, which took place on November, 10, 2016 under CNews FORUM 2016.
03 October, 2016
Linguistics project receives megagrant
Anna Vladimirovna Dybko, a doctor of science in linguistics, chief researcher and head of the Department of Ural-Altaic languages of RAS Institute of Linguistics, RAS corresponding member, professor of Center of comparative studies of Institute for Oriental and Classical Studies of RSUH, became one of the winners of the fifth competition for megagrants.
26 September, 2016
A product developed by the ISP RAS was implemented in the Tizen OS
A software solution Svace, developed by the Institute for System Programming of the RAS was included in software development kit (SDK) for mobile OS Tizen. Head of the ISP RAS Arutyun Avetisyan and government relations director of Samsung Russian office Marat Guriev reported this to CNews.
Member of ISP RAS Alexander Monakov made a report "OpenMP offloading for the NVPTX target in GCC" about a project on adding support of acceleration aspect of OpenMP 4.x standard in GCC compiler and its implementation for NVIDIA accelerators platform (PTX architecture) at the GCC Cauldron 2016 conference.
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.
Новости 1 - 20 из 29
Начало | Пред. | 1 2 | След. | Конец