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

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

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

20 мая в 12.00 в Доме культуры «Академия» состоится благотворительный концерт в пользу завершения строительства Епархиального Дома Милосердия в Академгородке. В программе: выступление хора Православной Гимназии во имя Преподобного Сергия Радонежского; информация о Доме Милосердия. Вход свободный.

Желающие сделать пожертвование в пользу завершения строительства могут сделать это до или после концерта или приобрести сертификат на 200, 500 или 1000 руб. (обращаться к Ирине Адриановой, вн. тел. 2340, 8 913 906 8276).
Конференция по информатике, математике и педагогике.
14.05.2012

С 26 по 29 сентября 2012 г. в Новосибирском государственном педагогическом университете состоится Региональная научно-практическая конференция с международным участием по информатике, математике и педагогике.

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

application/pdf iconИнформационное письмо

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