Заседания в 2003 г.
...2006 | 2005 | 2004 | 2003 | 2002 | 2001-1999
17.12.2003
Доклад Болдасова Михаила Викторовича с кафедры АЯ ф-та ВМК МГУ: «Программно-информационное обеспечение многоязыковой генерации текстов».
10.12.2003
Доклад Проскурни Максима Олеговича с кафедры АЯ ф-та ВМК МГУ: «Семантическое индексирование текстов на естественном языке».
3.12.2003
Доклад Зыкина Сергея Владимировича из Омского филиала Института математики СО РАН: «Теоретические основы построения инструментария для работы с базами данных».
26.11.2003
Доклад Фролова Артёма Михайловича с кафедры СП ф-та ВМК МГУ: «Методы повышения безопасности программных систем».
19.11.2003
Доклад Вежневца Владимира Петровича с кафедры АСВК ф-та ВМК МГУ: «Методы автоматического анализа изображения лица для построения естественного интерфейса человек-компьютер».
12.11.2003
Доклад Падаряна Вартана Андрониковича с кафедры СП ф-та ВМК МГУ: «Исследование и разработка методов анализа свойств программ, параллельных по данным».
5.11.2003
29.10.2003
Доклад Веселова Николая с кафедры АСВК ф-та ВМК МГУ: «Метод расчёта средней задержки пакета в сетях, использующих технологию передачи wormhole».
15.10.2003
16.5.2003
Доклад А. В. Соколова из ИПМИ КарНЦ РАН: «Математические модели и алгоритмы оптимального управления динамическими структурами данных».
25.4.2003
Доклад Анатолия Москвитина из Института математики СО РАН: «Языки спецификаций задач, ориентированные на пользователя».
18.4.2003
Доклад Чернова Александра Владимировича с кафедры СП ф-та ВМК МГУ: «Исследование и разработка методологии маскировки программ».
11.4.2003
Доклад Николая Одинцева с кафедры АЯ ф-та ВМК МГУ: «Адаптивный синтаксический анализатор русского языка».
4.4.2003
Доклад М. Н. Гринева с кафедры СП ф-та ВМК МГУ: «Семантически-ориентированный язык запросов к данным, его отображение на язык XQuery и оптимизация XQuery-запросов на основе методов оптимизации».
21.3.2003
Доклад А. К. Петренко из института Системного программирования РАН: «Тестирование на основе формальных спецификаций в процессах разработки программных комплексов».
21.2.2003
14.2.2003
Доклад Д. В. Смирнова с кафедры АСВК ф-та ВМК МГУ: «Трехуровневая инструментальная среда поддержки корпоративного проектирования 3-LEVEL».
© Кафедра системного программирования ВМК МГУ.
Обновлено: 4.10.2005