Новости института


16 Июля, 2015
Защита диссертации

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

29 Июня, 2015
Выборы директора ИСП РАН

Уважаемые коллеги, 9 июня этого года закончился директорский контракт Виктора Петровича Иванникова. Продлить этот контракт было невозможно, поэтому в марте наш Институт запустил процедуру выдвижения новых кандидатов на пост директора.

08 Мая, 2015
10-й Международный семинар по тестированию на основе моделей (Model Based Testing – MBT-2015)

18 апреля в Лондоне, Великобритания, прошел семинар "10th Workshop on Model-Based Testing". Заведующий отделом технологий программирования А.К. Петренко возглавлял программный комитет семинара, с.н.с. отдела Н.В. Пакулин был секретарем семинара.

20 Апреля, 2015
BLAST 2.7.3 на SV-COMP'2015

BLAST 2.7.3 был представлен на четвертых международных соревнованиях по верификации программ, которые прошли в рамках конференции TACAS 2015 в Лондоне, Великобритания. В этом году BLAST выиграл золото в категории DeviceDrivers64.

28 Марта, 2015
Защита диссертаций

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

27 Марта, 2015
Конкурс на замещение должностей

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

05 Января, 2015
Защита диссертаций

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

12 Ноября, 2014
Доклад профессора Ассафа Шустера

13 ноября в 16:00 в аудитории 110 состоится семинар ИСП РАН. На семинаре выступит профессор Ассаф Шустер (Израильский технологический институт).

30 Сентября, 2014
Облачные вычисления. Образование. Исследования. Разработка 2014

Приглашаем вас принять участие в ежегодной международной конференции «Облачные вычисления: образование, исследования, разработки».

04 Сентября, 2014
Big Data Open Lab – лаборатория по продвижению технологий Big Data

Компания Dell совместно с Институтом системного программирования Российской академии наук (ИСП РАН) при содействии компании CompTek объявляют об открытии Big Data Open Lab — практического центра по продвижению и развитию технологий анализа сверхбольших данных в интересах российских организаций.

07 Августа, 2014
Конкурс на замещение должностей

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

15 Апреля, 2014
Защита диссертаций

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

10 Февраля, 2014
20-летие ИСП РАН

24 января 2014 года состоялось торжество по случаю 20-летия Института системного программирования Российской академии наук.

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

05 декабря 2013 года в 15.00 в Актовом зале ИСП РАН состоится защита кандидатских диссертаций.

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

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

27 Сентября, 2013
Защита диссертаций

31 октября 2013 года в 15:00 в Актовом зале ИСП РАН состоится защита кандидатских диссертаций.

08 Мая, 2013
Защита диссертаций

13 июня 2013 года в 15:00 в Актовом зале ИСП РАН состоится защита кандидатских диссертаций.

22 Апреля, 2013
Защита диссертаций

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

22 Марта, 2013
Конкурс на замещение должностей

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

26 Декабря, 2012
SYRCoSE 2013

30-31 мая 2013 г. в Казани состоится 7-ой коллоквиум молодых ученых в области программной инженерии SYRCoSE 2013.


Страницы: 1 2 След.