Международные научные связи




Скачать 37.94 Kb.
НазваниеМеждународные научные связи
Дата публикации24.03.2013
Размер37.94 Kb.
ТипДокументы
litcey.ru > Информатика > Документы



Международные научные связи

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

Иностранный партнер: Майкрософт Рисёч (Microsoft Research), США

Координаторы проекта: д-р Люцарев В.С., представительство Майкрософт Рисёч в России; проф. Марчук А.Г., ИСИ СО РАН.

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

^ Визуальные средства перепроектирования программ.

Иностранный партнер: фирма Релайтивити Текнолоджиз, Инк. (Relativity Technologies, Inc.), г. Кэри (Cary), США.

Координаторы проекта: д-р Эрлих Л. (Leonid Erlikh), Релайтивити Текнолоджиз; к. ф.-м. н. Бульонков М.А., ИСИ СО РАН.

Сроки: 2000 – 2005 г.г.

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


^

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



Вагнер Клаус, Германия, Вюрцбург, проф. университета(Institut fuer Informatik, Universitaet Wuerzburg) совместная научная работа, выступление на семинаре «Теоретическое и экспериментальное программирование» с 28.09.04 по 03.10.04.
В длительных командировках находятся

  1. Т.М. Яхно, Турция, г. Измир, чтение лекций, научная работа в Университете им. 9 сентября.

  2. А.В. Вотинцева, Германия, научная работа.

4. М.В. Коровина, г. Хаген, Германия, научная работа.

Календарь зарубежных командировок по странам

1. Андреева Т. А. (08.02.04 – 15.02.04) – участие в заключительном тренинге TEMPUS проекта DIERUU (Dissemination of Engineer Education for Russian and Ukrainian Universities), г. Клагенфурт, Австрия.
2. Берс А.А. (01.10.04 – 10.10.04) – чтение лекций и выступление на семинаре Институт Кибернетики им В.М. Глушкова НАН, Киевский Институт программных систем (совместное предприятие ИК НАН и Моторола), Национальный Университет Украины ,

Киев, Украина.
3. Дубцов Р.С. (29.05.04 – 11.06.04) – участие в работе 4-ой Международной конференции по программированию УкрПРОГ'2004, Киев, Украина.
4. Замулин А. В. (28.10.04 – 4.11.04) – научная работа в области формальных спецификаций программных систем, Гренобльский университет, Франция.
5. Калинина Н.А. (18.05.04 – 27.05.04) – участие в ХХХI Международной конференции «Информационные технологии в науке, образовании, телекоммуникации, экономике и бизнесе» (IT+S&Ed'04), Ялта-Гурзуф, Украина.
6. Касьянов В.Н. (20.06.04 – 26.06.04) – участие в 16-й Всемирной конференции по учебным мультимедиа, гипермедиа и телекоммуникациям (ED-MEDIA-2004),

г. Лугано, Швейцария.
7. Касьянов В.Н. (27.06.2004 – 4.07.2004) – участие в 4-м Европейском конгрессе по математике (4ECM), г. Стокгольм, Швеция.
8. Мурзин Ф.А. (02.08.04 – 14.08.04) – участие в работе Второй летней региональной (центральноазиатской) Школы “Формальные методы и информационные технологии” под эгидой Института проблем информатики и управления МОН Республики Казахстан

(ИПИУ) и Международного института программных технологий Университета ООН (IIST/UNU, Макао), г.Алма-Ата, Казахстан.
9. Непомнящий В.А. (23.09.04 – 27.09.04) – участие в конференции Workshop on Concurrency, Specification and Programming (CS&P'2004), Humboldt University, г. Берлин, Германия.
10. Нестеренко Т.В (26.03.04 – 01.04.04) – участие во Всемирной студенческой олимпиаде по программированию (тренеры), г. Прага, Чехословакия.
11. Селиванов В.Л. (16.08.04 – 20.08.04) – участие в 6-й международной конференции Workshop on Computability and Complexity in Analysis, Университет, г. Хаген, Германия.
12. Чурина Т.Г. (26.03.04 – 01.04.04) – участие во Всемирной студенческой олимпиаде по программированию (тренеры), г. Прага, Чехословакия.
13. Шилов Н. В.( 29.06.04 – 07.07.04) – участие (с докладом) в конференции 11th International Symposium on Temporal representation and Reasoning (TIME 2004),

Университет г. Лан, Нормандия, Франция.
14. Шилов Н. В (17.09.04 – 23.09.04) – участие в семинаре по теоретическому программированию, Университет г. Варвик, Великобритания
Членство в национальных и международных научных организациях

  • Европейская ассоциация искусственного интеллекта – к.т.н. Ю.А.Загорулько, д.ф.-м.н. Т.М.Яхно, Ю.В.Костов.

  • Ассоциация по компьютерной технике (АСМ).

  • Российская ассоциация искусственного интеллекта – к.т.н. Ю.А Загорулько.

  • Ассоциация по вычислительной технике (ACM) – М.А.Бульонков.

  • Институт инженеров по электронике и электротехнике (IEEE) – М.А.Бульонков.

  • Российская академия естественных наук – член-корр. В.Н.Касьянов.

  • Американское математическое общество (AMS) – проф. В.Н.Касьянов, к.ф.-м.н. Ф.А.Мурзин, проф. В.Л.Селиванов.

  • Европейская ассоциация по теоретической информатике (EATCS) –проф. В.Н.Касьянов, к.ф.-м.н. В.А.Непомнящий.

  • Общество по индустриальной и прикладной математике (SIAM) – проф. В.Н.Касьянов.

  • Европейская ассоциация по компьютерной логике (EACSL) – к.ф.-м.н. В.А.Непомнящий.

  • Международная академия информатизации – действительный член А.А.Берс.


Похожие:

Международные научные связи iconМеждународные научные связи
В 2007 г. Институт систем информатики имени А. П. Ершова со ран осуществлял сотрудничесвто с зарубежными организациями по следующим...
Международные научные связи iconМеждународные научные связи
В 2006 г. Институт систем информатики имени А. П. Ершова со ран осуществлял сотрудничесвто с зарубежными организациями по следующим...
Международные научные связи iconМеждународные научные связи
В 2008 г. Институт систем информатики имени А. П. Ершова со ран осуществлял сотрудничесвто с зарубежными организациями по следующим...
Международные научные связи iconМеждународные научные связи
В 2003 г. Институт систем информатики имени А. П. Ершова со ран осуществлял сотрудничесвто с зарубежными организациями по следующим...
Международные научные связи iconМеждународные научные связи
В 2005 г. Институт систем информатики имени А. П. Ершова со ран осуществлял сотрудничесвто с зарубежными организациями по следующим...
Международные научные связи iconМеждународные научные чтения памяти Н. Ф. Федорова
Владимира Соловьева до Сергия Булгакова и Николая Бердяева, оказала глубокое воздействие на вершинные явления русской литературы,...
Международные научные связи iconМеждународные перевозки: понятие и основные источники
В науке вопрос о понятии «международная перевозка» не является завершенным. Источниками, содержащими определение международных перевозок,...
Международные научные связи iconПрограмма «Международные гуманитарные связи»
Землетрясения, наводнения, оползни, засухи, тропические циклоны, цунами и извержения вулканов унесли огромное количество жизней,...
Международные научные связи iconОсновные научные направления академии и научные школы
Воронежской области и г. Воронежа, в соответствии с перечнем приоритетных направлений развития науки и техники, а также Концепцией...
Международные научные связи iconОсновные научные направления академии и научные школы
Воронежской области и г. Воронежа, в соответствии с перечнем приоритетных направлений развития науки и техники, а также Концепцией...
Вы можете разместить ссылку на наш сайт:
Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
litcey.ru
Главная страница