• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Книга
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Под науч. редакцией: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Статья
Optimization of ProVerif Programs for AKE Protocols

Vinarskii E., Демаков А. В.

Programming and Computer Software. 2022. Vol. 48. No. 8. P. 781-787.

Глава в книге
Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs

Vinarskii E., Твардовский А. С., Evtushenko N. V.

In bk.: Proceedings 2021 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2021.

Препринт
Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

Наука – Новости

Конференция по системному программированию и анализу данных в медицине - прием заявок до 12 апреля!

17-18 мая 2024 года в Великом Новгороде состоится международная конференция «Иванниковские чтения», посвящённая разработке инновационных технологий в области системного программирования.

Открытая конференция ИСП РАН им. В.П. Иванникова

Открытая конференция ИСП РАН им. В.П. Иванникова
Открытая конференция ИСП РАН им. В.П. Иванникова посвящена разработке инновационных технологий в области системного программирования и проводится ежегодно при поддержке IEEE, IEEE Computer Society, Российской академии наук, а также партнеров Института. В этом году конференция проводится в честь 75-летия отечественных информационных технологий.

Подведены итоги первого этапа конкурса проектных групп по направлению «Программная инженерия»

Подведены итоги первого этапа конкурса проектных групп по направлению «Программная инженерия»
В конце сентября были подведены итоги первого этапа конкурса проектных групп, на котором предварительные результаты представили проектные группы под руководством Николая Чуйкина и Алексея Незнанова.

Открытая конференция ИСП РАН им. В.П. Иванникова

Открытая конференция ИСП РАН им. В.П. Иванникова
Открытая конференция ИСП РАН им. В.П. Иванникова посвящена разработке инновационных технологий в области системного программирования и проводится ежегодно при поддержке IEEE, IEEE Computer Society, Российской академии наук, Фонда перспективных исследований, ФСТЭК России, а также партнеров Института (Samsung, Huawei, Dell и др.). В этом году конференция приурочена к 80-летию со дня рождения основателя и первого директора ИСП РАН – академика В.П. Иванникова.

Третья международная конференция «Иванниковские чтения»

Третья международная конференция «Иванниковские чтения»
25-26 сентября в городе Орел состоится третья Международная конференция "Иванниковские чтения".

Названы победители конкурса на лучшую статью журнала "Труды ИСП РАН" в 2019 году

Статья Константина Дегтярева, доцента департамента программной инженерии, и Михаила Носовского, студента 4 курса ОП "Программная инженерия" Reputation Systems in E-commerce: Comparative Analysis and Perspectives to Model Uncertainty Inherent in Them признана победителем конкурса на лучшую статью журнала "Труды ИСП РАН" в 2019 году.

Николай Бьорнер - Открытая конференция ИСП РАН им. В.П. Иванникова 2019

Несколько дней осталось до начала работы Открытой конференции ИСП РАН им. В.П. Иванникова. В этом году мероприятие посвящено 25-летию Института. Ожидается много гостей, среди которых Николай Бьорнер - главный научный сотрудник Microsoft Research, (Редмонд, США).

Поздравляем А.И. Аветисяна с избранием в академики РАН!

Директор ИСП РАН А.И. Аветисян стал первым академиком РАН по специальности «Прикладная математика и информатика, кибербезопасность» (Отделение математических наук РАН). Утверждение протоколов счетной комиссии по итогам тайного голосования состоялось 15 ноября.

Вышка будет присуждать собственные ученые степени

Ряд научных организаций и вузов, в том числе НИУ ВШЭ, смогут самостоятельно утверждать ученые степени. Соответствующее распоряжение подписал премьер-министр России Дмитрий Медведев.

Ершовская конференция собрала программистов со всего мира

27-29 июня в здании Российской академии наук прошла авторитетная международная ИТ-конференция, которая регулярно проводится в  России с 1991 года –  11-я Ершовская конференция по информатике PSI-2017. Ее участники съехались в Москву из многих стран мира, чтобы обсудить актуальные вопросы программирования, лежащие на стыке прикладной науки и «чистой» математики.