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



Новости

12 Апреля, 2024 Защита диссертаций
07 Октября, 2023 Защита диссертаций
18 Августа, 2023 Защита диссертаций
14 Октября, 2022 Защита диссертаций
08 Сентября, 2022 Защита диссертаций
09 Сентября, 2021 Защита диссертаций
09 Апреля, 2021 Защита диссертаций
10 Октября, 2019 Защита диссертаций
18 Мая, 2019 Samsung AI Boot Camp 2019
11 Января, 2019 Защита диссертаций
18 Октября, 2018 Защита диссертаций
19 Февраля, 2018 Защита диссертаций
15 Декабря, 2017 Защита диссертаций
20 Октября, 2017 Защита диссертаций
18 Августа, 2017 Защита диссертаций
14 Октября, 2016 Защита диссертаций
15 Апреля, 2016 Защита диссертаций
11 Апреля, 2016 BLAST 2.7.3 на SV-COMP'2016
14 Января, 2016 Защита диссертаций
27 Ноября, 2015 Защита диссертаций
20 Апреля, 2015 BLAST 2.7.3 на SV-COMP'2015
05 Января, 2015 Защита диссертаций
15 Апреля, 2014 Защита диссертаций
10 Февраля, 2014 20-летие ИСП РАН
05 Ноября, 2013 Защита диссертаций
27 Сентября, 2013 Защита диссертаций
22 Апреля, 2013 Защита диссертаций
26 Декабря, 2012 SYRCoSE 2013
28 Сентября, 2012 Защита диссертации
06 Августа, 2012 Защита диссертации

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

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-я ежегодная конференция «Облачные вычисления. Образование. Исследования. Разработка».

10 Августа, 2015
Открытая конференция по компиляторным технологиям пройдёт 2 декабря в Москве

2 декабря 2015 года в Москве пройдет Открытая конференция по компиляторным технологиям.

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

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

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

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

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

11 Июня, 2015
Вторая научно-практическая конференция OS DAY «Операционные системы — исследования и разработки»

9-10 июня 2015 г. в городе Инополис (Республика Татарстан) состоялась вторая научно-практическая конференция OS DAY «Операционные системы — исследования и разработки», посвященная проблемам разработки и внедрения российских операционных систем. Конференция прошла совместно с интернет-форумом РИФ.Иннополис. Организаторы: группа ИТ-компаний DZ Systems, Институт системного программирования РАН, РАЭК.

31 Мая, 2015
SYRCoSE-2015 - Весенний коллоквиум молодых ученых по программной инженерии

28-30 мая 2015 г. в Самаре на базе Поволожского государственного университета телекоммуникаций и информатики (ПГУТИ) состоялся 9-ой коллоквиум молодых ученых в области программной инженерии SYRCoSE 2015. Организаторами выступили ИСП РАН, Санкт-Петербургский государственный университет и ПГУТИ.

25 Мая, 2015
Четвертая научно-практическая конференция «Актуальные проблемы системной и программной инженерии» (АПСПИ - 2015)
20 – 21 мая 2015 г. состоялась четвертая научно-практическая конференция «Актуальные проблемы системной и программной инженерии» (АПСПИ - 2015).

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
Конкурс на замещение должностей

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

23 Марта, 2015
Курс «Основы использования свободных пакетов SALOME, OpenFOAM и ParaView при решении задач МСС»
19 и 20 марта в ИСП РАН прошел учебный курс по современным методам пространственного гидродинамического и теплового анализа использованием свободного программного обеспечения — пакетов SALOME/OpenFOAM/ParaView.
Участники курса изучили основные понятия, инструменты и алгоритмов работы свободных пакетов, интегрированных в среду сетевой Web-лаборатории UniHUB, получили базовые навыки по проведению параллельных расчетов на вычислительных системах кластерной архитектуры на базе инфраструктуры программы «Университетский кластер».

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

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

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

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

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

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


Страницы: Пред. 1 ... 14 15 16 17 18 След.