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