Программа V. Новые поколения вычислительной техники, математическое моделирование и информационные технологии. «Исследование формальных моделей и методов описания семантики, спецификации и верификации систем и процессов»

В 2002 г. Институт проводил исследования по следующим программам и проектам:

Федеральные целевые программы:

«Государственная поддержка интеграции высшего образования и фундаментальной науки».

• 
  Проект «Новосибирский научно-образовательный консорциум по подготовке специалистов по приоритетным направлениям фундаментальных исследований и критическим технологиям на базе Новосибирского ГУ и ведущих научных школ Новосибирского НЦ СО РАН» (№ 274).
  
• 
  Проект «Серия учебных изданий «Интеграция фундаментальных исследований по информатике с обучением современным методам информатики и программирования».
  
• 
  Проект «Создание филиала УНЦ вычислительной математики и информатики ММФ НГУ на базе ИСИ СО РАН и ВКИ НГУ».
  
• 
  Проект «Эксплуатация УНЦ вычислительной математики и информатики ММФ НГУ на базе ИВТ СО РАН, ИВМиМГ СО РАН, ИСИ СО РАН».
  

Программы СО РАН:

• 
  Программы Cибирского отделения Российской академии наук по приоритетным направлениям развития науки и техники.
  
• 
  Программа V. Новые поколения вычислительной техники, математическое моделирование и информационные технологии.
  
• 
  «Исследование формальных моделей и методов описания семантики, спецификации и верификации систем и процессов» № гос. регистрации 01.200.213436.
  
• 
  «Основания информатики, проблемы обучения информатике и программированию», № гос. регистрации 01.200.213435.
  
• 
  «Методы и интегрированные технологии создания интеллектуальных и экспертных систем», № гос. регистрации 01.200.213432.
  
• 
  «Развитие методов и инструментальной поддержки конструирования, преобразования и трансляции программ», № гос. регистрации 01.200.213434.
  
• 
  «Поддержка и развитие информационно-телекоммуникационной среды СО РАН», № гос. регистрации 01.200.213431.
  
• 
  «Модели и методы построения окружений разработки программ и алгоритмов», № гос.регистрации 01.200.213433.
  

Интеграционные проекты СО РАН:

«Новые информационные технологии и разработка математических методов анализа в археологии, культурной и социальной антропологии» (№ 82).
Гранты РФФИ:

• 
  «Методы и инструменты конструирования эффективных и надежных программ и систем» (01-01-00794).
  
• 
  «Издание курса по программированию на Паскале в заданиях и упражнениях» (01-01-14051).
  
• 
  «Анализ и интеграция информационных систем, направленных на фундаментальные исследования в области информатики» (99-07-90199).
  
• 
  «Разработка технологии конструирования гибридных интеллектуальных систем, базирующейся на управлении по данным и событиям» (99-01-00495).
  
• 
  «Информационно-образовательные ресурсы фундаментальных исследований: анализ и разработка интеллектуальных многоцелевых информационных сред» (00-07-90322).
  
• 
  «Электронный толковый словарь по теории графов и ее применению в информатике и программировании, ориентированный на работу в среде Интернет» (00-07-90296).
  
• 
  «Логические методы в теории автоматов» (00-01-00810).
  
• 
  «Разработки и исследование методов и средств спецификации и верификации сложных распределенных систем реального времени» (00-01-00898).
  
• 
  «Создание методов и средств автоматической верификации программ над сложными структурами данных» (00-01-00909).
  
• 
  «Модели для создания окружения разработки качественных программ» (00-01-00820).
  

Гранты Российского гуманитарного научного фонда:

«Исследование и изложение социальной истории отечественной информатики как вклада в мировую науку» (00-03-00277).
Международные проекты:

• 
  Российско-голландский проект «Распределенное императивное программирование в ограничениях».
  
• 
  Совместный проект ИСИ СО РАН и Microsoft Research, Ltd. «Электронный архив академика А.П. Ершова».
  

Хоздоговора:

• 
  Хоздоговор № 11-00 с Новосибирским государственным университетом по созданию программного кода сетевых компонентов информационной системы ТРАНСФОРМ.
  
• 
  Хоздоговор № 80 с НПО Прикладной механики, г. Красноярск (00-80-6).