4.5.2007

Результаты предварительного экзамена по курсу «Методы формальной спецификации программ» в 441 группе от 2 мая.

25.4.2007

Информация о гос. экзамене и защите дипломных работ в 2007 г.

Экзаменационные вопросы спецкурса «Методы управления транзакциями в современных СУБД».

12.4.2007

Добавлена ссылка на неофициальный сайт аспирантов ВМК.

11.4.2007

Аннотация нового спецкурса «Машинно-независимая оптимизация».

9.4.2007

Ссылка на страницу конгресса информационных технологий для бизнеса Interop Moscow 2007. Конгресс проводится в Москве 30-31 мая.

Анонс научно-технической конференции студентов, аспирантов и молодых специалистов «Информационные системы и технологии 2007». Конференция проводится в Обнинске 18-19 мая.

17.3.2007

На заседании просеминара в четверг 29 марта в 18:00, ауд. 659 состоится доклад профессора В. А. Серебрякова на тему «Основные понятия Semantic Web» и доклад профессора, чл.-корр. РАН В. П. Иванникова на тему «Современные проблемы системного программирования».

1 | 2

© Кафедра системного программирования ВМК МГУ.

Обновлено: 16.5.2007