Создание электронного архива академика А. П. Ершова

В 2003 г.Институт систем информатики имени А.П.Ершова СО РАН осуществлял сотрудничесвто с зарубежными организациями по следующим грантам:

Разработана модель данных электронного архива, поддерживающая различные представления документов (текстовое, графическое, гипертекстовое, аннотационное); разработана технология и инструментальные средства для работы с материалами архива; создан Интернет-сайт архива (http://www.iis.nsk.su:81/russian), представляющий более 19 тысяч документов.

Были продолжены работы, связанные с проблематикой перепроектирования больших программных комплексов. Основное внимание уделялось повышению эффективности автоматического анализа и быстродействия интерактивных средств, а также разработке более удобных и понятных пользовательских интерфейсов.

Работы по модификации включали в себя разработку новой библиотеки интервальных математических функций с направленными округлениями, согласование программных интерфейсов используемой и новой библиотек, модификацию текущего матобеспечения для использования с новой библиотекой и проведение вычислительных экспериментов по сравнению имеющегося и полученного программных продуктов.

Список иностранных специалистов, принятых Институтом

1. 
   Е.С. Петров, Франция, г. Нант, научная работа в Институте информатики при Нантском университете.
   
2. 
   Т.М. Яхно, Турция, г. Измир, чтение лекций, научная работа в Университете им. 9 сентября.
   
3. 
   А.В. Вотинцева, Германия, научная работа.
   

1. 
   Лью Джиксу
   
2. 
   Поэрномо Иман
   

Австрия

3. 
   Раммерсторфер Мартин
   

Бельгия

4. 
   Бруссел Стивен
   
5. 
   Де Мётер Вольфганг
   
6. 
   Мишельс Синди
   

Великобритания

7. 
   Хоар Энтони
   
8. 
   МакГоуэн Рэймонд
   
9. 
   Воронков Андрей
   
10. 
    Крег Стефен
    
11. 
    Мисра Кундан
    

Германия

12. 
    Баар Томас
    
13. 
    Вайсс Роланд
    
14. 
    Сейферт Дирк
    
15. 
    Симонис Фолькер
    
16. 
    Фарвер Берндт
    
17. 
    Циманн Пауль
    
18. 
    Шец Бернхард
    

Дания

19. 
    Могенсен Торбен
    

Израиль

20. 
    Харел Давид
    

Испания

21. 
    Алмендрос-Хименес Хесус
    
22. 
    Диас Редондо Ребекка
    
23. 
    Парама-Габиа Хосе
    
24. 
    Сантамарина Пернас Педро
    

Италия

25. 
    Гаддуччи Фабио
    
26. 
    Маффеи Маттео
    
27. 
    тер Бек Морис
    

Китай

28. 
    Донг Юан
    

Нидерланды

29. 
    Костер Корнелис
    
30. 
    Хубберс Энгельберт
    
31. 
    Орзан Симона
    

Норвегия

32. 
    Норваг Кьетил
    

Мексика

33. 
    Перес Ортега Хоакин
    
34. 
    Чанона-Эрнандес Лилиана
    

США

35. 
    Брюс Ким
    
36. 
    Залевский Марсин
    

Франция

37. 
    Бенаму Фредерик
    
38. 
    Бене Жан
    

Швейцария

39. 
    Мейер Бертран
    

Эстония

40. 
    Санько Елена
    

Япония

41. 
    Глюк Роберт
    
42. 
    Ишикава Юсуки
    

1. 
   Непомнящий В.А., Ануреев И.С. (22.04.03. – 27.04.03) – участие в работе 2-ой Международной рабочей конференции по проекту ROTOR, Университет гор. Пиза и фирма Микрософт, Пиза, Италия.
   
2. 
   Ануреев И.С. (16.09.03 - 19.09.03) - участие в работе 2-ой Международной рабочей конференции SSCLI, фирма Микрософт, Редмонд, США.
   
3. 
   Селиванов В.Л. (26.02.03 - 02.03.03) Intern. Symp. on Theor Aspects of Computer Science (STACS'03), Берлин, Германия.
   
4. 
   Грибовская Н.С. (24.09.03 - 04.10.03) Workshop on Concurrency, Specification and Programming (CS&P'03), г. Ржешов, Польша.
   
5. 
   Шилов Н.В. (14.07.03 – 14.09.03) – научно-исследовательская и преподавательская работа в University of Canterbury, Christchurch, New Zealand.
   
6. 
   Замулин А. В. (10.05.03 – 9.06.03) – научная работа в университете Париж-13, Париж, Франция.
   
7. 
   Замулин А. В. (19.07.03 – 24.07.03) – участие в международном семинаре по формальным методам в объектно-ориентированных языках программирования, Дармштадт, Германия.
   
8. 
   Замулин А. В. (9.09.03 – 13.09.03) – участие в международной конференции по прогрессу в базах данных и информационных системах ADBIS 2003, Дрезден, Германия.
   
9. 
   Бульонков М.А., Филаткина Н.Н. (25.03.03 – 28.03.03) – Microsoft .NET Crash Course IV "Software and Web Engineering in theMicrosoft .NET Environment" organised by Microsoft Research, 2003, Великобритания
   
10. 
    Андреева Т.А. (10.09.03 –-20.09.03).– участие в международной школе по Инженерной педагогике, г. Карлсруэ, Германия.
    
11. 
    Калинина Н.А.. (Май 2003г.). Междунар. конф. и «Информационные технологии в науке, образовании, телекоммуникации и бизнесе». IT+SE’2003. Украина, Крым, Ялта-Гурзуф.
    

12. 
    Калинина Н.А.. (Сентябрь 2003г.). Междунар. конф. «Вычислительные и информационные технологии в науке, технике и образовании». Усть-Каменогорск, Казахстан.
    
13. 
    Семенов А.Л. (22.03.03. – 29.03.03) – обсуждение работ по договору с фирмой Dassault Aviation, Париж, Франция.
    
14. 
    Семенов А.Л. (17.11.03. – 23.11.03) – участие в работе Международной конференции CoCos’03, г Лозанна, Швейцария.
    

• 
  Европейская ассоциация искусственного интеллекта – к.т.н. Ю.А.Загорулько, д.ф.-м.н. Т.М.Яхно, Ю.В.Костов.
  
• 
  Ассоциация по компьютерной технике (АСМ).
  
• 
  Российская ассоциация искусственного интеллекта – к.т.н. Ю.А Загорулько.
  
• 
  Ассоциация по вычислительной технике (ACM) – М.А.Бульонков.
  
• 
  Институт инженеров по электронике и электротехнике (IEEE) – М.А.Бульонков.
  
• 
  Российская академия естественных наук – член-корр. В.Н.Касьянов.
  
• 
  Американское математическое общество (AMS) – проф. В.Н.Касьянов, к.ф.-м.н. Ф.А.Мурзин, проф. В.Л.Селиванов.
  
• 
  Европейская ассоциация по теоретической информатике (EATCS) –проф. В.Н.Касьянов, к.ф.-м.н. В.А.Непомнящий.
  
• 
  Общество по индустриальной и прикладной математике (SIAM) – проф. В.Н.Касьянов.
  
• 
  Европейская ассоциация по компьютерной логике (EACSL) – к.ф.-м.н. В.А.Непомнящий.
  
• 
  Международная академия информатизации – действительный член А.А.Берс.