• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Контакты

Тел.: +7(495) 772-95-90*22508

Адрес: 125319, г.Москва, Кочновский проезд, д.3

 

Руководство

Руководитель департамента — Авдошин Сергей Михайлович

 

Заместитель руководителя департамента — Ахметсафина Римма Закиевна

 

Заместитель руководителя департамента по научной работе — Гринкруг Ефим Михайлович 

 

Менеджер департамента — Климова Татьяна Васильевна

 

Редактор сайта — Чичилева Наталия Игоревна

Статья
Статический анализ зависимостей для семантической валидации данных

Ильин Д., Фокина Н., Семенов В. А.

Труды Института системного программирования РАН. 2018. Т. 30. № 3. С. 271-284.

Глава в книге
System-Wide Elimination of Unreferenced Code and Data in Dynamically Linked Programs

Ivanishin V., Kudryashov E., Monakov A. et al.

In bk.: Proceedings of the 2017 Ivannikov ISPRAS Open Conference. Los Alamitos: IEEE Computer Society, 2018. P. 1-5.

Препринт
Темпоральные расширения в стандарте SQL

С.Д. Кузнецов

Препринты ИСП РАН. Институт системного программирования им. В.П. Иванникова РАН, 2017. № 30.

Тема «Золотая Вышка» – Новости

«Золотая Вышка»-2017: победителей будут выбирать по-новому

23 октября стартует первый этап ежегодного конкурса «Золотая Вышка». В декабре эта премия будут вручаться уже в 17-й раз. Читайте, что нового предусмотрено в «антиюбилейной» премии и выдвигайте своих кандидатов.

«Золотая Вышка»-2016: вас ждет много нового

21 ноября начнется выдвижение кандидатов на премию «Золотая Вышка». В организации конкурса в этом году произошли большие изменения: номинаций стало больше, они стали немного другие, и внутри премии появилась еще одна премия.