Новости ИСП РАН

2 декабря 2015 года в здании Президиума Российской академии наук прошла конференция «Открытая конференция по компиляторным технологиям». Конференция проводилась впервые, по инициативе ИСП РАН и Samsung, и посвящена методам оптимизации в компиляторе и генерации кода, статическому и динамическому анализу программ и др.

09 Декабря, 2015
3-4 декабря 2015 года в здании Президиума Российской академии наук прошла VI Международная конференция «Облачные вычисления. Образование. Исследования. Разработка»

3-4 декабря 2015 года в здании Президиума Российской академии наук прошла VI Международная конференция «Облачные вычисления. Образование. Исследования. Разработка» - ежегодное мероприятие, посвященное актуальным вопросам использования и развития свободного программного обеспечения, предназначенного для создания распределенных вычислительных систем.

27 Ноября, 2015
Защита диссертаций

28 января 2016 года в 15:00 в Актовом зале ИСП РАН состоится защита кандидатских диссертаций в Диссертационном совете Д 002.087.01 при ИСП РАН.

24 Ноября, 2015
Открытая конференция по компиляторным технологиям

Открытая конференция по компиляторным технологиям, организованная по инициативе ИСП РАН и компании Samsung, пройдёт 2 декабря 2015 года в здании Президиума РАН.

24 Ноября, 2015
Конференция «Облачные вычисления. Образование. Исследования. Разработка»

Конференция «Облачные вычисления. Образование. Исследования. Разработка» пройдёт 3 декабря 2015 года в здании Президиума РАН по адресу Москва, улица Ленинский проспект, дом 32, Бежевый зал.

24 Ноября, 2015
Семинар «Свободное ПО для решения задач механики сплошных сред»

Семинар «Свободное ПО для решения задач механики сплошных сред» пройдёт 4 декабря 2015 года в здании Президиума РАН по адресу Москва, улица Ленинский проспект, дом 32, Бежевый зал.

20 Ноября, 2015
Лекция профессора Заиналабедина Наваби (Университет Тегерана, Иран / Вустерский политехнический институт, США)
18 декабря в 14:00 в аудитории 110 состоится лекция/туториал профессора Заиналабедина Наваби (Университет Тегерана, Иран / Вустерский политехнический институт, США).

09 Ноября, 2015
Семинар «Парадигмы программирования сборочного типа» пройдёт 17 ноября 2015 года

17 ноября 2015 года в 15:00 в аудитории 110 состоится семинар ИСП РАН, на котором выступит г.н.с. ИСП РАН Лаврищева Екатерина Михайловна. Тема доклада: «Парадигмы программирования сборочного типа».

23 Октября, 2015
Конкурс на замещение должностей

Федеральное государственное бюджетное учреждение науки Институт системного программирования Российской академии наук (ИСП РАН) объявляет конкурс на замещение вакантных должностей.

20 Октября, 2015
Семинар OS Day пройдёт в рамках конференции TMPA 2015
ИСП РАН и сообщество отечественных разработчиков операционных систем проведут 13 ноября 2015 г. семинар OS Day в рамках конференции по инструментам и методам анализа программ (TMPA).

14 Октября, 2015
Координационное совещание Российско-французской научной лаборатории Qualipso
14-15 октября 2015 состоялось координационное совещание Российско-французской научной лаборатории Qualipso.

12 Октября, 2015
В Москве состоялся пятый Linux Driver Verification Workshop
15-18 сентября 2015 года в Москве состоялся пятый международный семинар Linux Driver Verification посвященный десятой годовщине Центра Верификации ОС Linux. Семинар был организован проф. Александром Петренко (Центр верификации ОС Linux, ИСП РАН, Москва, Россия) и проф. Дирком Бейером (Dirk Beyer, Университет г. Пассау, Германия).

01 Октября, 2015
10 лет Центра верификации ОС Linux

22 октября 2015 года в 18.00 в Цетре Digital October в рамках конференции "Разработка ПО" CEE-SEC(R) состоится круглый стол "10 лет Центра верификации ОС Linux. Верификация реального ПО – мечта или реальность?"

22 Сентября, 2015
Презентация базовой кафедры ИСП РАН факультета компьютерных наук
22 сентября в 18:00 на факультете компьютерных наук пройдет презентация Базовой кафедры Института системного программирования Российской академии наук (ИСП РАН).

21 Сентября, 2015
21 сентября 2015 года ушел из жизни Владимир Васильевич Липаев
21 сентября 2015 года ушел из жизни Владимир Васильевич Липаев, один из основателей отечественной школы программной инженерии, ведущий советский и российский специалист в области технологии создания программных систем реального времени и автоматизации этих процессов. В.В. Липаев – доктор технических наук, профессор, главный научный сотрудник Института системного программирования РАН, Заслуженный деятель науки и техники РСФСР, Лауреат премии Совета министров СССР, Лауреат премии Правительства РФ в области образования.

07 Сентября, 2015
Семинар «Свободное ПО для решения задач механики сплошных сред» пройдёт 4 декабря 2015 года

4 декабря 2015 года пройдет семинар «Свободное ПО для решения задач механики сплошных сред».

04 Сентября, 2015
Выпущена новая версия MicroTESK (Microprocessor TEsting and Specification Kit) 2.3.
Выпущена новая версия MicroTESK (Microprocessor TEsting and Specification Kit) 2.3. Она включает в себя поддержку генерации тестов для функциональной верификации подсистемы управления памятью микропроцессора.

17 Августа, 2015
Конференция «Облачные вычисления. Образование. Исследования. Разработка» пройдёт 3-4 декабря 2015.

3-4 декабря 2015 года состоится 6-я ежегодная конференция «Облачные вычисления. Образование. Исследования. Разработка».