Весной 2011 года просеминар работал по пятницам в аудитории П-6 (25 марта в аудитории 503). Начало в 16:20.
|
18 марта слайды |
Доклад к.ф.-м.н., н.с. ИСП РАН Турдакова Д.Ю. на тему «Семантический анализ текстовых документов» (спецсеминар «Распределенные объектно-ориентированные системы»).
|
|
25 марта слайды |
Доклад к.ф.-м.н., доц. Кулямина В. В. на тему «Корректность программ классические и современные подходы» (спецсеминар «Корректность программ»).
|
|
1 апреля слайды |
Доклад к.ф.-м.н., н.с. ИСП РАН Белеванцева А. А. на тему «Задачи компиляции для современных архитектур» (спецсеминар «Анализ и оптимизация программ»).
|
|
8 апреля слайды |
Доклад к.ф.-м.н., зав.сектором ИПМ Бахтина В. А. на тему «Автоматизация разработки параллельных программ» (спецсеминар «ОС и языки программирования распределенных выч.систем»).
|
|
10 апреля |
День открытых дверей ИСП РАН.
|
|
15 апреля слайды |
Доклад м.н.с. ИСП РАН Таранова И. С. на тему «XML-СУБД Sedna» (спецсеминар «Технологии баз данных»).
|
|
22 апреля слайды |
Доклад д.ф.-м.н., проф. Серебрякова В. А. на тему «Интернет и цифровые библиотеки» (спецсеминар «Интернет, распределенные информационные системы и цифровые библиотеки»).
|
|
29 апреля слайды |
Доклад асп. Герлица Е. А. на тему «Поддержка DOM веб-браузерами» (спецсеминар «Корректность программ»).
|