Новости
24 Апреля, 2024
ИСП РАН и «Базис» расширяют работу по повышению безопасности российских облачных решений
12 Апреля, 2024
Защита диссертаций
15 Марта, 2024
Сегодня стартовали выборы Президента России
Новости ИСП РАН
04 Декабря, 2019
Текущие результаты конкурса будут представлены на сайте проекта http://astraver.linuxtesting.ru/.
ИСП РАН выиграл конкурс на предоставление субсидий в целях реализации федеральной целевой программы «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2014-2020 годы»
ИСП РАН выиграл конкурс на предоставление субсидий в целях реализации федеральной целевой программы «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2014-2020 годы» (мероприятие 1.3, 1 очередь) по отбору инновационных проектов, направленных на проведение прикладных научных исследований и экспериментальных разработок и получение результатов, необходимых для реализации приоритетов научно-технологического развития Российской Федерации, определенных Стратегией научно-технологического развития Российской Федерации (шифр: 2019-05-579-0001). Тема проекта, представленного ИСП РАН «Исследование и разработка технологий производства и сертификации программного обеспечения с повышенными требованиями к надежности и безопасности на основе формальных методов моделирования и верификации».Текущие результаты конкурса будут представлены на сайте проекта http://astraver.linuxtesting.ru/.