Проект (98-06). “Приближенное удовлетворение ограничениям, моделирование параллельных систем и приложения”. Российско-голландский проект “Распределенное императивное программирование в ограничениях”

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

Проект (98-06). “Приближенное удовлетворение ограничениям, моделирование параллельных систем и приложения”.

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

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

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

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

• 
  Программы Cибирского отделения Российской академии наук по приоритетным направлениям развития науки и техники
  
• 
  Программа V. Новые поколения вычислительной техники, математическое моделирование и информационные технологии
  
• 
  “Исследование формальных моделей и методов описания семантики, спецификации и верификации систем и процессов” № гос. Регистрации 01.99.0010375.
  
• 
  “Основания информатики, проблемы обучения информатике и программированию”, № гос. Регистрации 01.99.0010376.
  
• 
  “Методы и интеграционные технологии создания интеллектуальных и экспертных систем”, № гос. Регистрации 01.99.0010373.
  
• 
  “Развитие методов и инструментальной поддержки конструирования, преобразования и трансляции программ”, № гос. Регистрации 01.99.0010374.
  
• 
  “Поддержка и развитие информационно-телекоммуникационной среды СО РАН”, № гос. Регистрации 01.99.0010293.
  

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

“Новые информационные технологии и разработка математических методов”

(№ 82).
Молодежным проектам СО РАН:

“Спецификация и верификация комплексных систем”.
Грантам РФФИ:

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

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

• 
  Франко-русский институт информатики и прикладной математики имени А.М. Ляпунова. Проект (98-06) “Приближенное удовлетворение ограничениям, моделирование параллельных систем и приложения”.
  
• 
  Научно-исследовательский проект “Распространение системы обучения системному проектированию и создание соответствующих информационных центров в странах Восточной Европы и СНГ” по программе ИНКО-Коперникус. INCO Copernicus Project № 969170.
  
• 
  Проект “Электронный архив академика А.П.Ершова”.