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

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

CRC Press, 2021.

Статья
Equivalence checking and intersection of deterministic timed finite state machines

Bresolin D., El-Fakih K., Villa T. et al.

Formal Methods in System Design. 2022.

Глава в книге
City and building information modelling using IFC standard

Shutkin V., Morozkin N., Zolotov V. et al.

In bk.: ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction. CRC Press, 2021. P. 406-413.

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

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

arxiv.org. Computer Science. Cornell University, 2020

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

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

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

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

Открытая конференция ИСП РАН им. В.П. Иванникова
Открытая конференция ИСП РАН им. В.П. Иванникова посвящена разработке инновационных технологий в области системного программирования и проводится ежегодно при поддержке 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. Ее участники съехались в Москву из многих стран мира, чтобы обсудить актуальные вопросы программирования, лежащие на стыке прикладной науки и «чистой» математики.