Дорогие коллеги!
Поздравляем вас с наступающим Новым 2005 годом! Желаем вам в новом году
творческих успехов и процветания!
Приглашаем встретить новый год совместно 30 декабря в 16 часов в холле на 2 этаже института. Приходите - не пожалеете!
Дирекция ИСИ СО РАН |
Силами преподавателей НГУ, сотрудников ИСИ СО РАН организована и проводится уже несколько лет
Заочная школа программирования (ЗШП) в сети Интернет. Приглашаем студентов и школьников принять участие в работе школы.
∞
|
28-го декабря, во вторник, в кабинете директора института, состоятся защиты кандидатских диссертаций.
- 14.00. Промский Алексей Владимирович, тема
"Формальная семантика C-light программ и их верификация методом Хоара", науч. руководитель
Непомнящий В.А.;
- 15.00. Гаранина Наталья Олеговна, тема
"Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий", науч. руководитель
Шилов Н.В.;
- 16.00. Грибовская Наталья Сергеевна, тема
"Теоретико-категорное исследование эквивалентностей параллельных моделей с реальным временем", науч. руководитель
Вирбицкайте И.Б.
|
Поздравляем Промского Алексея Владимировича,
Гаранину Наталью Олеговну, Грибовскую Наталью Сергеевну с успешной
защитой диссертаций на соискание степени кандидатов физико-математических наук.
|
Команда Novosibirsk SU#1
получила диплом I степени за успешное выступление в Сибирской группе
полуфинального этапа командного чемпионата мира АСМ по программированию
Северо-Восточного Европейского региона, состоявшегося в г. Барнауле 1 декабря 2004
года.
Команда НГУ в четвёртый раз завоевала право участия в финальных
соревнованиях, которые состоятся с 3 по 7 апреля 2005 года в Шанхае.
За особые успехи в олимпиадах по программированию студентам Дятлову Семёну, Токареву Вячеславу и Блинову Алексею
по представлению деканата факультета информационных технологий
присуждена стипендия, учреждённая Интуит.ру (Интернет-университет
информационных технологий).
Поздравляем ребят и тренеров - сотрудниц ИСИ СО РАН Чурину Татьяну Геннадьевну и
Нестеренко Татьяну Викторовну, а также Четвертакова
Евгения - с достойной
победой и желаем успехов в финале!
|
Предлагаем ознакомиться со списком новых поступлений в Мемориальную библиотеку А.П. Ершова с 1 ноября
2004 года по 6 декабря 2004 года
|
14 ноября состоялся полуфинал V Всероссийской командной олимпиады школьников по программированию (Западная Сибирь).
|
Сердечно поздравляем старшего научного сотрудника Николая Вячеславовича Шилова
с рождением шестого ребенка - дочери. Желаем малышке крепкого здоровья и благополучия.
Сотрудники института и студенты кафедры |
4-5 февраля 2005 г. Новосибирский государственный университет (НГУ) при поддержке
Представительства компании Microsoft в России проводит Конференцию-конкурс
"Технологии Microsoft в информатике и программировании".
К участию в конференции приглашаются студенты, аспиранты и стажеры, работающие или обучающиеся в
Сибирском и Уральском регионах РФ.
|
Поздравляем сотрудников нашего института - членов жюри и оргкомитета V Открытой Всесибирской
олимпиады по программированию им. И.В. Поттосина: команда НГУ NovosibirskSU#1 заняла третье место в Очном туре олимпиады!
|
Предлагаем ознакомиться со списком новых поступлений в Мемориальную библиотеку А.П. Ершова с
4 октября 2004 года по 1 ноября 2004 года.
|
25-28 октября ГПНТБ СО РАН проводилась региональная научно-практическая конференция "Электронные
ресурсы региона: проблемы создания и взаимоиспользования". Конференция проходила в пансионате "Энергетик".
С докладом, посвященном созданию электронного архива академика А.П. Ершова, на конференции выступили сотрудники нашего института.
|
Сотрудники ИСИ горячо поздравляют Георгия Георгиевича Степанова
с юбилеем и желают здоровья, счастья, успехов.
|
При Объединенном Ученом Совете по математике и информатике Президиума СО РАН
продолжает работу семинар "Постановки задач, допускающих распараллеливание
на многопроцессорных вычислительных системах". Руководитель семинара академик С.К. Годунов.
Второе заседание семинара состоится в пятницу 29 октября 2004 года в Институте математики в 10.00 в ком. 417.
С докладом выступит В.М. Садовский (ИВМ СО РАН, Красноярск):
"Численное моделирование распространения упругопластических волн
в сыпучих средах на многопроцессорных вычислительных системах".
Приглашаются заинтересованные специалисты.
|
В рамках проекта SITE, направленного на расширение участия российских
ученых в мероприятиях Шестой рамочной программы ЕС (РП6), возможно получение
поддержки для участия в следующих европейских конференциях:
|
22.10.2004 на 59-м году жизни после непродолжительной тяжелой болезни скончался один из
старейших сотрудников, заведующий научно-организационным отделом ИСИ СО РАН
Владимир Иванович Константинов.
Похороны состоятся 23 октября 2004 г. в 14-00 по адресу ул. Арбузова, 1, кв. 40.
|
С 5 октября по 1 ноября 2004 года в основных крупных городах России проводится цикл научных конференций -
дискуссий французских ученых при участии российских партнеров.
В рамках этого цикла Альянс Франсез - Новосибирское отделение Французского культурно-информационного центра - проводит лекции в Новосибирске:
- 14-го октября, 16.00, Дом Ученых СО РАН: "Клонирование человека: вымысел или надежда медицины"
Докладчик - Мари Дютрекс, генетик.
- 28-го октября, 16.00, конференц-зал НГТУ: "В поисках новых миров".
Докладчик - Роже Ферле, президент французского общества астрономов.
|
Поздравляем тренеров
университетской команды программистов Novosibirsk SU#1 Т.Г. Чурину
и Т.В. Нестеренко с победой в
Интернет-туре V Открытой Всесибирской олимпиады по программированию им. И.В. Потосина.
|
3 по 10 июля 2005 года в г. Евпатория (Украина)
состоится 10-я (Юбилейная) Международная конференция " Системный анализ,
управление и навигация". Приглашаем принять участие в работе конференции.
|
Предлагаем ознакомиться на нашем сайте с Положениями,
определяющими порядок выделения грантов администрации
Новосибирской области молодым ученым и специалистам на проведение прикладных исследований по приоритетным
направлениям научной деятельности в Новосибирской области, а также порядок выделения именных стипендий
администрации Новосибирской области аспирантам и докторантам научно-образовательного комплекса
области на 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 состоятся защиты следующих диссертаций на соискание степени
кандидата физико-математических наук:
- В.Е. Козюра "Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных
систем"
Научный руководитель: к.ф.-м.н. Непомнящий В.А.
Официальные оппоненты: д.ф.-м.н. Ломазова И.А., к.ф.-м.н. Викентьев А.А.
Ведущая организация - Ярославский государственный университет.
- Е.В. Окунишникова "Моделирование 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, которые
были привезены из Москвы.
|
Два весенних месяца, март и апрель, работал пробный семестр Заочной школы программирования.
Организаторами и преподавателями школы являлись сотрудники ИСИ СО РАН.
|
С 11 по 15 мая проходит выставка новых поступлений в Мемориальную библиотеку А.П.Ершова.
|
С 26 марта по 1 апреля в Праге проходил финал Всемирной студенческой олимпиады по программированию.
Предлагаем вашему вниманию фотографии, сделанные на
олимпиаде.
|
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-23 февраля в Новосибирском государственном университете при поддержке Московского представительства корпорации
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.
|