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