Архив новостей — 2004 г.

Дорогие коллеги!
Поздравляем вас с наступающим Новым 2005 годом! Желаем вам в новом году творческих успехов и процветания!
Приглашаем встретить новый год совместно 30 декабря в 16 часов в холле на 2 этаже института. Приходите - не пожалеете!

Силами преподавателей НГУ, сотрудников ИСИ СО РАН организована и проводится уже несколько лет Заочная школа программирования (ЗШП) в сети Интернет. Приглашаем студентов и школьников принять участие в работе школы.

∞

28-го декабря, во вторник, в кабинете директора института, состоятся защиты кандидатских диссертаций.

1. 14.00. Промский Алексей Владимирович, тема "Формальная семантика C-light программ и их верификация методом Хоара", науч. руководитель Непомнящий В.А.;
2. 15.00. Гаранина Наталья Олеговна, тема "Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий", науч. руководитель Шилов Н.В.;
3. 16.00. Грибовская Наталья Сергеевна, тема "Теоретико-категорное исследование эквивалентностей параллельных моделей с реальным временем", науч. руководитель Вирбицкайте И.Б.

Поздравляем Промского Алексея Владимировича, Гаранину Наталью Олеговну, Грибовскую Наталью Сергеевну с успешной защитой диссертаций на соискание степени кандидатов физико-математических наук.

Команда Novosibirsk SU#1 получила диплом I степени за успешное выступление в Сибирской группе полуфинального этапа командного чемпионата мира АСМ по программированию Северо-Восточного Европейского региона, состоявшегося в г. Барнауле 1 декабря 2004 года.

Команда НГУ в четвёртый раз завоевала право участия в финальных соревнованиях, которые состоятся с 3 по 7 апреля 2005 года в Шанхае. За особые успехи в олимпиадах по программированию студентам Дятлову Семёну, Токареву Вячеславу и Блинову Алексею по представлению деканата факультета информационных технологий присуждена стипендия, учреждённая Интуит.ру (Интернет-университет информационных технологий). Поздравляем ребят и тренеров - сотрудниц ИСИ СО РАН Чурину Татьяну Геннадьевну и Нестеренко Татьяну Викторовну, а также Четвертакова Евгения - с достойной победой и желаем успехов в финале!

Предлагаем ознакомиться со списком новых поступлений в Мемориальную библиотеку А.П. Ершова с 1 ноября 2004 года по 6 декабря 2004 года

4-5 февраля 2005 г. Новосибирский государственный университет (НГУ) при поддержке Представительства компании Microsoft в России проводит Конференцию-конкурс "Технологии Microsoft в информатике и программировании". К участию в конференции приглашаются студенты, аспиранты и стажеры, работающие или обучающиеся в Сибирском и Уральском регионах РФ.

Сердечно поздравляем старшего научного сотрудника Николая Вячеславовича Шилова с рождением шестого ребенка - дочери. Желаем малышке крепкого здоровья и благополучия.

14 ноября состоялся полуфинал V Всероссийской командной олимпиады школьников по программированию (Западная Сибирь).

Поздравляем сотрудников нашего института - членов жюри и оргкомитета V Открытой Всесибирской олимпиады по программированию им. И.В. Поттосина: команда НГУ NovosibirskSU#1 заняла третье место в Очном туре олимпиады!

Предлагаем ознакомиться со списком новых поступлений в Мемориальную библиотеку А.П. Ершова с 4 октября 2004 года по 1 ноября 2004 года.

25-28 октября ГПНТБ СО РАН проводилась региональная научно-практическая конференция "Электронные ресурсы региона: проблемы создания и взаимоиспользования". Конференция проходила в пансионате "Энергетик". С докладом, посвященном созданию электронного архива академика А.П. Ершова, на конференции выступили сотрудники нашего института.

Сотрудники ИСИ горячо поздравляют Георгия Георгиевича Степанова с юбилеем и желают здоровья, счастья, успехов.

При Объединенном Ученом Совете по математике и информатике Президиума СО РАН продолжает работу семинар "Постановки задач, допускающих распараллеливание на многопроцессорных вычислительных системах". Руководитель семинара академик С.К. Годунов.

Второе заседание семинара состоится в пятницу 29 октября 2004 года в Институте математики в 10.00 в ком. 417. С докладом выступит В.М. Садовский (ИВМ СО РАН, Красноярск): "Численное моделирование распространения упругопластических волн в сыпучих средах на многопроцессорных вычислительных системах". Приглашаются заинтересованные специалисты.

В рамках проекта SITE, направленного на расширение участия российских ученых в мероприятиях Шестой рамочной программы ЕС (РП6), возможно получение поддержки для участия в следующих европейских конференциях:

• EVA2005
• ICMCC
• Mobile summit05'14thISTMobile
• EUSIPCO2005
• AATELille200.

22.10.2004 на 59-м году жизни после непродолжительной тяжелой болезни скончался один из старейших сотрудников, заведующий научно-организационным отделом ИСИ СО РАН Владимир Иванович Константинов.

Похороны состоятся 23 октября 2004 г. в 14-00 по адресу ул. Арбузова, 1, кв. 40.

С 5 октября по 1 ноября 2004 года в основных крупных городах России проводится цикл научных конференций - дискуссий французских ученых при участии российских партнеров.

В рамках этого цикла Альянс Франсез - Новосибирское отделение Французского культурно-информационного центра - проводит лекции в Новосибирске:

1. 14-го октября, 16.00, Дом Ученых СО РАН: "Клонирование человека: вымысел или надежда медицины" Докладчик - Мари Дютрекс, генетик.
2. 28-го октября, 16.00, конференц-зал НГТУ: "В поисках новых миров". Докладчик - Роже Ферле, президент французского общества астрономов.

Поздравляем тренеров университетской команды программистов Novosibirsk SU#1 Т.Г. Чурину и Т.В. Нестеренко с победой в Интернет-туре V Открытой Всесибирской олимпиады по программированию им. И.В. Потосина.

Предлагаем ознакомиться на нашем сайте с Положениями, определяющими порядок выделения грантов администрации Новосибирской области молодым ученым и специалистам на проведение прикладных исследований по приоритетным направлениям научной деятельности в Новосибирской области, а также порядок выделения именных стипендий администрации Новосибирской области аспирантам и докторантам научно-образовательного комплекса области на 2005 год.

Вниманию молодых ученых и аспирантов ИСИ СО РАН! Проводится набор статей в сборник "МОЛОДАЯ ИНФОРМАТИКА". Срок подачи статей - до 31 октября 2004 года.

Поздравляем Виталия Ефимовича Козюру, аспиранта ИСИ СО РАН, и Елену Валерьевну Окунишникову, научного сотрудника ИСИ СО РАН, с успешной защитой диссертаций на соискание степени кандидатов физико-математических наук.

Институту вычислительной математики и математической геофизики (бывшему Вычислительному центру) СО РАН исполняется 40 лет. Коллектив и руководство ИСИ СО РАН от всей души поздравляет коллег.

17 сентября в 10.00 в конференц-зале ИВМиМГ состоится юбилейная научная сессия Ученого совета Института.

Приветствия и поздравления можно вручить 17 сентября 2004 г. в 12 часов в конференц-зале ИВМиМГ СО РАН на Юбилейной научной сессии Ученого совета Института или направить по адресу:

630090, пр. академика Лаврентьева, 6, ИВМиМГ СО РАН
E-mail mikh@sscc.ru
Факс (3832) 34 37 83

14 сентября 2004 г. в 15 часов в к.237 состоятся защиты следующих диссертаций на соискание степени кандидата физико-математических наук:

1. В.Е. Козюра "Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем"
   Научный руководитель: к.ф.-м.н. Непомнящий В.А.
   Официальные оппоненты: д.ф.-м.н. Ломазова И.А., к.ф.-м.н. Викентьев А.А.
   Ведущая организация - Ярославский государственный университет.
2. Е.В. Окунишникова "Моделирование Estelle-спецификаций распределенных систем с помощью раскрашенных сетей Петри"
   Научный руководитель: к.ф.-м.н. Непомнящий В.А.
   Официальные оппоненты: д.ф.-м.н. Ломазова И.А., к.ф.-м.н. Скопин И.Н.
   Ведущая организация - Ярославский государственный университет.

Поздравляем Георгия Георгиевича Степанова с вручением ему государственной награды - Ордена Дружбы.

Президиум Сибирского отделения РАН на своем заседании 9 сентября 2004 года принял Обращение в связи с трагическими событиями в г. Беслане республики Северная Осетия-Алания.

Сегодня исполнилось бы 57 лет Сергею Валерьевичу Кузнецову (10.09.1947 - 21.03.2004). Предлагаем вашему вниманию мемориальную страницу Сергея Валерьевича, подготовленную и переданную нам его близкими.

23-29 августа пройдут летние сборы студенческих олимпиадных команд. Сборы будут проводить научные сотрудники ИСИ СО РАН, преподаватели НГУ к.ф.-м.н. Т.Г. Чурина и Т.В. Нестеренко.

31 августа закончила работу Летняя школа программирования им. А.П. Ершова, которая проходила в Горном Алтае на базе отдыха "Юность" близ поселка Соузга. В школе приняли участие 65 школьников 3-11 классов из Новосибирска, НСО, Кемерово, Ангарска, Новокузнецка, Абакана, Барнаула и Павлодара (Казахстан). Приглашаем ознакомиться с результатами Школы

26 июля исполняется 70 лет главному научному сотруднику лаборатории автоматизации и архитектуры СБИС ИСИ, доктору технических наук, профессору Андрею Александровичу Берсу. Андрей Александрович стал учителем для молодежи многих поколений благодаря присущим ему молодости души и живости ума, которые ему удается сохранять по сей день. От всей души поздравляем Андрея Александровича с днем рождения, желаем юбиляру крепкого здоровья и активного долголетия, успехов в творческой и научной жизни!

Коллектив
Института систем информатики

17 июля начала работу Летняя школа программирования им. А.П. Ершова. Школа проходит на турбазе "Юность" неподалеку от пос. Соузга (Горный Алтай). О программе, участниках и мастерских Летней школы читайте на сайте ЛШП.

Во вторник 13 июля 2004 года в 11 часов в Малом зале Дома ученых состоится встреча с Президентом Китайской Академии наук академиком Лу Юнсеном. На встрече будет представлен доклад "Реорганизация Китайской Академии наук и ее место в инновационной системе страны". Приглашаются все желающие.

C 15 по 17 февраля 2005 г. в Инсбруке (Австрия) пройдет конференция "SOFTWARE ENGINEERING ~SE 2005~".

Институт систем информатики СО РАН и Конструкторско-технологическтий институт СО РАН подписали Соглашение о научно-техническом сотрудничестве. В рамках Соглашения стороны договорились об осуществлении двустороннего научного, делового и технического сотрудничества между ИСИ и КТИ ВТ в области информационных, программных и других современных технологий.

Интернет-университет информационных технологий объявляет конкурс на разработку учебных материалов по информатике и программированию для университетов, поддерживающих получение специалистами дополнительной квалификации "Специалист в области компьютерной графики и Web-дизайна (Web-дизайнер)", "Системный инженер (специалист по эксплуатации АПК и сетей на их основе)", "Разработчик профессионально-ориентированных компьютерных технологий", "Менеджер наукоемких технологий".

В ночь с 17 на 18 июня на 82 году жизни скоропостижно скончался всемирно известный ученый, Лауреат Ленинской премии, участник Великой Отечественной войны, награжденный боевыми орденами и медалями, советник при Дирекции ИПА РАН, член-корреспондент РАН Святослав Сергеевич Лавров.

ВАК принял положительное решение об открытии диссертационного совета при Институте систем информатики им. А.П. Ершова Сибирского Отделения РАН по защите диссертаций на соискание ученой степени кандидата наук по специальности 05.13.11. - "Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей", по физико-математическим наукам.

В серии "Основы информационных технологий" Интернет-Университета информационных технологий вышел первый учебный курс новосибирского автора, преподавателя НГУ, научного сотрудника ИСИ СО РАН к.ф.-м.н. Л.В. Городней "Основы функционального программирования". В курсе, предназначенном студентам, изложены методы применения функционального программирования при решении сложных задач на стыке искусственного интеллекта и системного программирования.

4 июня 2004 года исполняется 45 лет российскому лидеру в создании средств спутниковых систем связи и вещания - Научно-производственному объединению прикладной механики им. ак. М.Ф. Решетнева, с которым ИСИ СО РАН связан давним сотрудничеством и партнерскими отношениями. Сердечно поздравляем коллектив и руководство НПО ПМ с этой славной датой.

Поздравляем с юбилеем сотрудницу ИСИ Бабенко Галину Алексеевну! Желаем крепкого здоровья, семейного благополучия, и навсегда сохранить молодость и задор!

17-23 мая 2004 г. в Новосибирске состоялась IX Ежегодная Конференция Российской библиотечной ассоциации. На конференции с докладом выступил сотрудник ИСИ СО РАН, академик МАИ, проф. А.А. Берс.

Смотрите краткий фоторепортаж о вручении наград победителям 1-го Открытого кубка по программированию.

17 мая в Новосибирске состоялось крупнейшее мероприятие для разработчиков аппаратных средств и программного обеспечения - форум Intel для разработчиков (Intel Developer Forum). С материалами форума можно ознакомиться на нашем сайте.

24-25 апреля 2004 г. состоялся 1-й Открытый кубок по программированию, подготовленный Учебным центром Ассоциации CBOSS (г. Москва) и МГУ им. Ломоносова. Команда NSU#1 заняла 4-е место в группе команд, решивших наибольшее число задач. 16 мая тренеры команд Т.Г. Чурина и Т.В. Нестеренко вручили победителям ценные призы и денежные премии от Ассоциации CBOSS, которые были привезены из Москвы.

Два весенних месяца, март и апрель, работал пробный семестр Заочной школы программирования. Организаторами и преподавателями школы являлись сотрудники ИСИ СО РАН.

С 26 марта по 1 апреля в Праге проходил финал Всемирной студенческой олимпиады по программированию. Предлагаем вашему вниманию фотографии, сделанные на олимпиаде.

С 11 по 15 мая проходит выставка новых поступлений в Мемориальную библиотеку А.П.Ершова.

7 мая сотрудники нашего института приняли участие в субботнике по весенней уборке территории. Предлагаем вашему вниманию краткий репортаж с места событий.

Научные сотрудники ИСИ СО РАН Т.В. Нестеренко и Т.Г. Чурина являются тренерами университетской команды NovosibirskSU-4, которая приняла участие в финале Всемирной студенческой олимпиады по программированию в Праге.

Приглашаем ознакомиться с электронным журналом ТРИЗ, открывшимся в разделе публикаций нашего института.

Подведены итоги Всероссийской олимпиады школьников по информатике. Олимпиада проходила в Твери 11-17 апреля 2004 г.

18 апреля исполняется 50 лет Семенову Александру Леонидовичу - руководителю Группы моделирования сложных систем. От всей души поздравляем юбиляра.

19 апреля Андрею Петровичу Ершову исполнилось бы 73 года. В преддверии этой даты мы решили поместить на сайте "Архив академика А.П. Ершова" текст его широко известной работы "Программирование - вторая грамотность" с иллюстрациями художника Михаила Златковского.

Поздравляем с юбилеем Елену Тимофеевну Стулову, главного бухгалтера ИСИ! Желаем крепкого здоровья, семейного благополучия, и всегда оставаться молодой и красивой.

17 мая в Новосибирске в Доме культуры железнодорожников состоится форум Intel для разработчиков.

С 22 по 26 марта 2004 состоялся IV этап Всероссийской школьной олимпиады по информатике. Предлагаем ознакомиться с его итогами.

05.04.2004

С 5 по 9 апреля проходит выставка новых поступлений в Мемориальную библиотеку А.П.Ершова.

21.03.2004 скоропостижно скончался заместитель директора Института систем информатики Сергей Валерьевич Кузнецов. Светлая память об этом прекрасном человеке навсегда останется в сердцах его коллег и товарищей.

1 апреля заканчивается прием тезисов на конференцию "Advances in Information Systems", которая будет проходить с 20 по 22 октября 2004 г. в Измире (Турция). Тематика конференции близка к научной тематике нашего института. Тезисы докладов конференции публикуются в Lecture Notes (см. тезисы докладов ADVIS-2002 в Springer LNCS, Vol. 2457).

С 10 по 12 марта проходит выставка новых поступлений в Мемориальную библиотеку А.П.Ершова.

Дорогие сотрудницы института, сердечно поздравляю всех с праздником 8 марта! Желаю всем здоровья, успехов и счастья.

Идет подготовка четвертого Окружного этапа Всероссийской олимпиады школьников по информатике Сибирского и Уральского федеральных округов. По решению Министерства образования Российской Федерации он будет проводиться с 22 по 27 марта 2004 г. на базе Новосибирского государственного университета.

Смотрите на сайте Новосибирского госуниверситета фотографии с конференции-конкурса "Технологии Microsoft в информатике и программировании".

От всей души поздравляем победителей конкурса и предлагаем ознакомиться его результатами.

21 февраля исполняется 50 лет научному сотруднику лаборатории теоретического программирования Сергею Павловичу Мыльникову. Сердечно поздравляем юбиляра и желаем ему крепкого здоровья и творческих успехов!

4 февраля 2004 г. в актовом зале НГПИ состоялась церемония награждения призеров Областной олимпиады школьников (по предметам) 2003-2004 гг. Предлагаем вашему вниманию фоторепортаж об этом событии.

Предлагаем вашему вниманию фотографии, сделанные 17 ноября 2003 г. на церемонии награждения участников IV Всесибирской открытой олимпиады по программированию им. И.В. Поттосина в Мальцевской аудитории НГУ.

26 - 27 апреля 2004 в Новосибирске пройдет Конкурс научных работ, организованный компанией САМСУНГ при поддержке Сибирского отделения Российской академии наук для молодых ученых Сибири, Урала и Дальнего Востока.

Лучшие из представленных докладов будут награждены ценными призами компании САМСУНГ и могут стать основой совместных научно-исследовательских проектов.

Приглашаем принять активное участие в конференции-конкурсе "Технологии Microsoft в информатике и программировании", проводимом при поддержке компании Microsoft Research. Даже если Вы не успели вовремя прислать заявку и подготовить сообщение, вы можете принять участие в работе конференции в качестве слушателя.

2-3 февраля в нашем городе на нескольких площадках (НГУ, НГТУ, НГПИ) проходила Областная школьная олимпиада по предметам. Предлагаем ознакомиться с итогами олимпиады по информатике, в проведении которой принимали участие сотрудники нашего института.

5 февраля 2004 г. в 15.00 в Малом зале Дома ученых СО РАН состоялось расширенное торжественное заседание Президиума СО РАН, посвященное 280-летию Российской академии наук и 60-летию открытия Западно-Сибирского филиала АН СССР. Поздравляем А.Ф. Рара, награжденного Почетной грамотой Президиума СО РАН.

03.02.2004

С 3 по 6 февраля проходит выставка новых поступлений в Мемориальную библиотеку А.П.Ершова.

2-3 февраля на базе Специализированного учебно-научного центра (СУНЦ) НГУ и Высшего колледжа информатики (ВКИ) НГУ состоится Областная школьная олимпиада по математике и информатике. Сотрудники ИСИ СО РАН Т.И. Тихонова и Т.В. Нестеренко входят в число организаторов олимпиады по информатике.

В рамках конференции-конкурса "Технологии Microsoft в информатике и программировании" силами компании Microsoft Research будет проведен бесплатный тренинг по безопасности.

Предлагаем вашему вниманию фотографии, сделанные на юбилейном чествовании А.Ф. Рара.

С 31 мая по 2 июня 2004 г. в г. Пльзень (неподалеку от Праги, Чехословакия) пройдет Второй международный семинар по технологиям .NET.