Международные научные связи
В 2003 г.Институт систем информатики имени А.П.Ершова СО РАН осуществлял сотрудничесвто с зарубежными организациями по следующим грантам:
Создание электронного архива академика А.П.Ершова.
Иностранный партнер: Майкрософт Рисёч (Microsoft Research), США
Координаторы проекта: д-р Агамирзян И., Майкрософт Рисёч; проф. Марчук А.Г., ИСИ СО РАН. Сроки: 2000—2003 гг.
Разработана модель данных электронного архива, поддерживающая различные представления документов (текстовое, графическое, гипертекстовое, аннотационное); разработана технология и инструментальные средства для работы с материалами архива; создан Интернет-сайт архива (http://www.iis.nsk.su:81/russian), представляющий более 19 тысяч документов.
Визуальные средства перепроектирования программ.
Иностранный партнер: фирма Релайтивити Текнолоджиз, Инк. (Relativity Technologies, Inc.), г. Кэри (Cary), США.
Координаторы проекта: д-р Эрлих Л. (Leonid Erlikh), Релайтивити Текнолоджиз; к. ф.-м. н. Бульонков М.А., ИСИ СО РАН.
Сроки: 2000 – 2005 г.г.
Были продолжены работы, связанные с проблематикой перепроектирования больших программных комплексов. Основное внимание уделялось повышению эффективности автоматического анализа и быстродействия интерактивных средств, а также разработке более удобных и понятных пользовательских интерфейсов.
Модификация решателя задач на базе методов программирования в ограничениях
Иностранный партнер: компания «Дассо Авиасьон» (Dassault Aviation), Париж, Франция.
Координаторы проекта: д-р Зиммер Л. (Lourent Zimmer), Дассо Авиасьон; к.ф.-м. н. Семенов А.Л., ИСИ СО РАН
Сроки: 1 июля 2002 – 1 апреля 2003
Работы по модификации включали в себя разработку новой библиотеки интервальных математических функций с направленными округлениями, согласование программных интерфейсов используемой и новой библиотек, модификацию текущего матобеспечения для использования с новой библиотекой и проведение вычислительных экспериментов по сравнению имеющегося и полученного программных продуктов.
Список иностранных специалистов, принятых Институтом
В 2003 г. в очную аспирантуру ИСИ СО РАН поступили граждане Кыргызстана
Турсунбаева Кызы Ырысгуль – с 05.03.03 по 05.03.06
Осмонов Рафхат Ахметович – с 05.03.03 по 05.03.06
Арапбаев Русланбек Нурмаматович – с 01.12.03 по 01.12.06
Хазиева Юлия Хусаиновна, Киргизия, Иссык-Кульский Госуниверсит, физико-математический ф-т, специальность «прикладная математика», обучение в аспирантуре с отрывом от производства с 1.02.02 по 1.02.05.
Николас Кинг, Великобритания, Интеллект Бизнес Консалтантс (Nicholas King, Intellect Business Consultants, Great Britain) с 17.05.02 по 31.05.02.
В длительных командировках находятся
-
Е.С. Петров, Франция, г. Нант, научная работа в Институте информатики при Нантском университете.
-
Т.М. Яхно, Турция, г. Измир, чтение лекций, научная работа в Университете им. 9 сентября.
-
А.В. Вотинцева, Германия, научная работа.
4. М.В. Коровина, г. Орхус, Дания, научная работа.
Пятая международная конференция памяти академика А.П. Ершова «Перспективы систем информатики» была проведена 9-12 июля 2003 г.
Список иностранных ученых, принявших участие в конференции
Австралия
-
Лью Джиксу
-
Поэрномо Иман
Австрия
-
Раммерсторфер Мартин
Бельгия
-
Бруссел Стивен
-
Де Мётер Вольфганг
-
Мишельс Синди
Великобритания
-
Хоар Энтони
-
МакГоуэн Рэймонд
-
Воронков Андрей
-
Крег Стефен
-
Мисра Кундан
Германия
-
Баар Томас
-
Вайсс Роланд
-
Сейферт Дирк
-
Симонис Фолькер
-
Фарвер Берндт
-
Циманн Пауль
-
Шец Бернхард
Дания
-
Могенсен Торбен
Израиль
-
Харел Давид
Испания
-
Алмендрос-Хименес Хесус
-
Диас Редондо Ребекка
-
Парама-Габиа Хосе
-
Сантамарина Пернас Педро
Италия
-
Гаддуччи Фабио
-
Маффеи Маттео
-
тер Бек Морис
Китай
-
Донг Юан
Нидерланды
-
Костер Корнелис
-
Хубберс Энгельберт
-
Орзан Симона
Норвегия
-
Норваг Кьетил
Мексика
-
Перес Ортега Хоакин
-
Чанона-Эрнандес Лилиана
США
-
Брюс Ким
-
Залевский Марсин
Франция
-
Бенаму Фредерик
-
Бене Жан
Швейцария
-
Мейер Бертран
Эстония
-
Санько Елена
Япония
-
Глюк Роберт
-
Ишикава Юсуки
Календарь зарубежных командировок по странам
-
Непомнящий В.А., Ануреев И.С. (22.04.03. – 27.04.03) – участие в работе 2-ой Международной рабочей конференции по проекту ROTOR, Университет гор. Пиза и фирма Микрософт, Пиза, Италия.
-
Ануреев И.С. (16.09.03 - 19.09.03) - участие в работе 2-ой Международной рабочей конференции SSCLI, фирма Микрософт, Редмонд, США.
-
Селиванов В.Л. (26.02.03 - 02.03.03) Intern. Symp. on Theor Aspects of Computer Science (STACS'03), Берлин, Германия.
-
Грибовская Н.С. (24.09.03 - 04.10.03) Workshop on Concurrency, Specification and Programming (CS&P'03), г. Ржешов, Польша.
-
Шилов Н.В. (14.07.03 – 14.09.03) – научно-исследовательская и преподавательская работа в University of Canterbury, Christchurch, New Zealand.
-
Замулин А. В. (10.05.03 – 9.06.03) – научная работа в университете Париж-13, Париж, Франция.
-
Замулин А. В. (19.07.03 – 24.07.03) – участие в международном семинаре по формальным методам в объектно-ориентированных языках программирования, Дармштадт, Германия.
-
Замулин А. В. (9.09.03 – 13.09.03) – участие в международной конференции по прогрессу в базах данных и информационных системах ADBIS 2003, Дрезден, Германия.
-
Бульонков М.А., Филаткина Н.Н. (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.09.03 –-20.09.03).– участие в международной школе по Инженерной педагогике, г. Карлсруэ, Германия.
-
Калинина Н.А.. (Май 2003г.). Междунар. конф. и «Информационные технологии в науке, образовании, телекоммуникации и бизнесе». IT+SE’2003. Украина, Крым, Ялта-Гурзуф.
-
Калинина Н.А.. (Сентябрь 2003г.). Междунар. конф. «Вычислительные и информационные технологии в науке, технике и образовании». Усть-Каменогорск, Казахстан.
-
Семенов А.Л. (22.03.03. – 29.03.03) – обсуждение работ по договору с фирмой Dassault Aviation, Париж, Франция.
-
Семенов А.Л. (17.11.03. – 23.11.03) – участие в работе Международной конференции CoCos’03, г Лозанна, Швейцария.
Членство в национальных и международных научных организациях
-
Европейская ассоциация искусственного интеллекта – к.т.н. Ю.А.Загорулько, д.ф.-м.н. Т.М.Яхно, Ю.В.Костов.
-
Ассоциация по компьютерной технике (АСМ).
-
Российская ассоциация искусственного интеллекта – к.т.н. Ю.А Загорулько.
-
Ассоциация по вычислительной технике (ACM) – М.А.Бульонков.
-
Институт инженеров по электронике и электротехнике (IEEE) – М.А.Бульонков.
-
Российская академия естественных наук – член-корр. В.Н.Касьянов.
-
Американское математическое общество (AMS) – проф. В.Н.Касьянов, к.ф.-м.н. Ф.А.Мурзин, проф. В.Л.Селиванов.
-
Европейская ассоциация по теоретической информатике (EATCS) –проф. В.Н.Касьянов, к.ф.-м.н. В.А.Непомнящий.
-
Общество по индустриальной и прикладной математике (SIAM) – проф. В.Н.Касьянов.
-
Европейская ассоциация по компьютерной логике (EACSL) – к.ф.-м.н. В.А.Непомнящий.
-
Международная академия информатизации – действительный член А.А.Берс.
Достарыңызбен бөлісу: |