Лента новостей

Сайт к юбилею НФ ИТМиВТ АН СССР
18.05.2012

В этом году исполнилось 40 лет со дня основания Новосибирского филиала Института точной механики и вычислительной техники АН СССР. 1 апреля филиальцы отмечали свой юбилей. Поздравляем коллег с юбилеем и предлагаем вашему вниманию сайт, посвященный 40-летию НФ ИТМиВТ АН СССР.

KESW-2012: второе информационное письмо
17.05.2012

Приглашаем принять участие в международной молодежной  конференции «Инженерия знаний и технологии семантического Веба» (KESW-2012), которая пройдет в  г. Санкт-Петербурге с 1 по 9 октября 2012 г.

Конференция будет включать три мероприятия:

  • Школа-семинар «Технологии Semantic Web» с 1 по 6 Октября 2012 г.;
  • Пленарное и секционные заседания с 7 по 9 Октября 2012 г.;
  • Круглый стол 9 Октября 2012 г.

Для участия в конференции необходимо подать статью до 30 июня 2012 г.

Поздравляем с успешной защитой!
15.05.2012

14 мая 2012 г. на заседании диссертационного совета ДМ 003.032.01 в Институте систем информатики им. А.П. Ершова Сибирского отделения РАН по адресу: г. Новосибирск, пр. акад. Лаврентьева, 6 состоялась защита диссертации Марьясова Ильи Владимировича «Верификация С-программ с помощью смешанной аксиоматической семантики на соискание степени кандидата наук по специальности 05.13.11.

Поздравляем Илью Владимировича с успешной защитой и желаем дальнейших успехов в науке и труде!

Летняя школа юных программистов имени А.П. Ершова