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

21 Июня, 2016
Открытая конференция ИСП РАН 2016 / ISPRAS OPEN 2016

Приглашаем Вас принять участие в научно-практической Открытой конференции ИСП РАН, которая пройдет с 1 по 2 декабря 2016 года в Главном здании Российской академии наук по адресу г. Москва, Ленинский проспект, дом 32А.

03 Июня, 2016
10-ый юбилейный коллоквиум SYRCoSE

10-ый юбилейный коллоквиум молодых ученых в области программной инженерии (SYRCoSE — Spring/Summer Young Researchers’ Colloquium on Software Engineering) прошел 30 мая – 1 июня в Доме отдыха МГУ им. М.В. Ломоносова (д. Красновидово, Можайский район). Мероприятие было организовано ИСП РАН совместно с Московским и Санкт-Петербургским университетами при финансовой поддержке РФФИ (проект №16-07-20256), ФАНО, Exactpro Systems и Центра исследований и разработок ЕМС. Авторы и докладчики коллоквиума представили 6 стран, 16 городов и 25 организаций.

28 Мая, 2016
Интервью В.П. Иванникова для журнала «Системный администратор»

Как зарождалось системное программирование в СССР? Как создавался первый советский суперкомпьютер? Какую роль сыграла IBM в возникновении индустрии ПО? Как в 70-е годы преодолевали технологическое отставание нашей страны и к чему это привело? Об этом рассказал «Системному администратору» академик Виктор Петрович Иванников, создатель и бессменный глава Института системного программирования РАН, заведующий кафедрами Системного программирования на факультете ВМК МГУ и в Московском физико-техническом институте, главный редактор журнала «Программирование».

03 Мая, 2016
Интервью научного руководителя ИСП РАН В.П. Иванникова телеканалу ОТР

Ольга Орлова (Общественное телевидение России) взяла интервью у научного руководителя Института системного программирования Российской академии наук Виктора Петровича Иванникова.

21 Апреля, 2016
Выступление Петренко А.К. на XI Ершовской лекции.
19 апреля в Институте систем информатики СО РАН прошла  XI Ершовская лекция. С Ершовской лекцией выступил заведующий отделом Технологий программирования, д.ф.-м.н., профессор Александр Константинович Петренко. Тема его выступления – «Добротность программ».

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

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

11 Апреля, 2016
BLAST 2.7.3 на SV-COMP'2016
BLAST 2.7.3 был представлен на пятых международных соревнованиях по верификации программ, которые прошли в рамках конференции TACAS 2016 в Эйндховене, Нидерланды. В этом году BLAST выиграл бронзу в категории DeviceDriversLinux64.

BLAST – это классический инструмент статической верификации программ, основанный на предикатных абстракциях и методе CEGAR. Он поддерживается ИСП РАН и активно используется в проекте Linux Driver Verification (LDV).

11 Марта, 2016
Отчет руководителя базовой кафедрой "Системное программирование" академика В.П.Иванникова на Ученом совете факультета компьютерных наук НИУ ВШЭ
10 марта состоялось заседание Ученого совета факультета компьютерных наук НИУ ВШЭ, на котором был заслушан отчет руководителя базовой кафедрой  "Системное программирование" академика В.П. Иванникова и предложение об открытии магистерской программы "Системное программирование" (академический руководитель профессор А.К. Петренко).

06 Марта, 2016
Сотрудники ИСП РАН и ИЯз РАН выступили на конференции CRiLL-HL в городе Франкфурт (Германия)

Борисенко Олег Дмитриевич (ИСП РАН) и Юлия Викторовна Норманская (ИЯз РАН) выступили на конференции 1st GSCL/CEDIFOR-Workshop on Corpora and Resources for Low Resource Languages with a Special Focus on Historical Languages в городе Франкфурт (Германия) 29 февраля 2016 года.

15 Февраля, 2016
SYRCoSE-2016 - весенне-летний коллоквиум молодых ученых по программной инженерии
30 мая - 1 июня 2016 г. в Красновидово (Россия, Московская область), состоится 10-ый коллоквиум молодых ученых в области программной инженерии SYRCoSE 2016.

05 Февраля, 2016
"Мы выполняем функцию первопроходцев на передовых направлениях развития ИТ"

Андрей Колесов (PC Week/RE) взял интервью у директора Института системного программирования РАН А.И. Аветисяна и основателя и нынешнего научного руководителем института В.П. Иванникова.

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

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

28 Декабря, 2015
Международная конференция разработчиков и пользователей PostgreSQL

Международная конференция разработчиков и пользователей PostgreSQL «PgConf.Russia 2016» пройдёт 3-5 февраля в Известия-Холл (Москва).

09 Декабря, 2015
2 декабря 2015 года в здании Президиума Российской академии наук прошла конференция «Открытая конференция по компиляторным технологиям»

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 состоится лекция/туториал профессора Заиналабедина Наваби (Университет Тегерана, Иран / Вустерский политехнический институт, США).