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


29 Сентября, 2016
Проект по лингвистике получил мегагрант

Одним из победителей пятого конкурса мегагрантов стала доктор филологических наук, главный научный сотрудник и заведующая отделом урало-алтайских языков Института языкознания РАН, член-корреспондент РАН, профессор Центра компаративистики Института восточных культур и античности РГГУ Анна Владимировна Дыбо. Это первый проект по лингвистике, получивший мегагрант. Цель – описать языки южной Сибири в синхронии, диахронии и взаимодействии, обращая внимание на максимальное количество важных параметров.

23 Сентября, 2016
Разработка ИСП РАН была внедрена в ОС Tizen

Решение для валидации кода Svace, созданное в ИСП РАН, стало частью экосистемы ОС Tizen, разрабатываемой в Samsung. Об этом CNews рассказали глава ИСП РАН Арутюн Аветисян и директор по работе с госучреждениями в российском представительстве Samsung Марат Гуриев.

19 Сентября, 2016
Динамическая композиция программных компонентов
<p>15 сентября в аудитории 110 ИСП РАН выступил Гринкруг Ефим Михайлович. На семинаре обсуждалась компонентная модель, позволяющая в динамике создавать и использовать новые составные компоненты. Обсуждалась программная архитектура и компонентная реализация среды для поддержки динамической композиции компонентов и их функционирования. Приводились примеры и направления практического использования в различных приложениях.</p>

15 Сентября, 2016
Сотрудник ИСП РАН Александр Монаков выступил с докладом на конференции GCC Cauldron 2016

На конференции GCC Cauldron 2016 выступил сотрудник ИСП РАН Александр Монаков с докладом "OpenMP offloading for the NVPTX target in GCC".

12 Сентября, 2016
На конференции LLVM Cauldron выступил сотрудник ИСП РАН Дмитрий Мельник

На конференции LLVM Cauldron, посвященной разработке компиляторных инструментов LLVM, выступил сотрудник ИСП РАН Дмитрий Мельник с докладом на тему "LLV8: Adding LLVM as an extra JIT tier to V8 JavaScript engine".

05 Июля, 2016
Доклад С.М. Авдошина и А. Лазаренко на тему "Анонимность и деанонимизация Tor"

30 июня на межотдельском семинаре института был заслушан доклад С.М. Авдошина и А. Лазаренко (Департамент программной инженерии ФКН НИУ ВШЭ) на тему "Анонимность и деанонимизация Tor".

22 Июня, 2016
Международная летняя школа ERCOFTAC 2016
С 8 по 14 июня 2016 года в Виланова-и-ла-Хельтру (Испания) прошли мероприятия международной летней школы ERCOFTAC, посвященные моделированию пространственных турбулентных течений.

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

Приглашаем Вас принять участие в научно-практической Открытой конференции ИСП РАН, которая пройдет с 5 по 9 декабря 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 февраля в Известия-Холл (Москва).


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