Новости

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

Поздравляем Чурину Татьяну Геннадьевну с блестящей защитой 15 декабря 2000 г. кандидатской диссертации на тему "Моделирование и валидация коммуникационных протоколов, представленных на языках ESTELLE и SDL, с помощью сетей Петри высокого уровня".

Владимир Анатольевич Евстигнеев

12 ноября исполняется 60 лет доктору физико-математических наук, сотруднику лаборатории оптимизации и конструирования программ Владимиру Анатольевичу Евстигнееву.

3-6 июля 2001 г. в Новосибирском Академгородке состоится Четвертая международная конференция памяти академика А.П. Ершова "ПЕРСПЕКТИВЫ СИСТЕМ ИНФОРМАТИКИ" (PSI'01).