Документ взят из кэша поисковой машины. Адрес оригинального документа : http://sp.cs.msu.ru/news/2007/index.html
Дата изменения: Wed Feb 11 22:31:41 2015
Дата индексирования: Sat Apr 9 23:43:21 2016
Кодировка: Windows-1251
Новости. 2007 г. Страница 1

Главная страница «

Новости

2008 |2007 | 2006 | >>

6.11.2007

Фотографии c московского 1/4-финала чемпионата Мира по программированию ACM ICPC. 21 октября 2007 г.

16.5.2007

Результаты коллоквиума по курсу «Методы формальной спецификации программ» от 8 мая. Консультация состоится 21 мая, экзамен – 22 мая.

Информация
Преподаватели и сотрудники
Студенты и аспиранты
Научно-исследовательский семинар
Спецсеминары
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

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 мая.

20.3.2007

Опубликовано распределение вариантов задания практикума IV курса «Языки MSC и SDL».

17.3.2007

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

1 | 2

  

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

Обновлено: 16.5.2007