Научно-исследовательский семинар

Руководитель научно-исследовательского семинара по автоматизации программирования: профессор Михаил Романович Шура-Бура.

Секретарь научно-исследовательского семинара: доцент, канд. физ.-мат. наук Людмила Сергеевна Корухова (  ).

В 2008 г. заседания научно-исследовательского семинара проводятся по средам в 10:45 в ауд. 685.

25.6.2008

Доклад Глазковой Валентины Владимировны, аспирантки кафедры АСВК факультета ВМК МГУ: «Исследование и разработка методов построения программных средств классификации многотемных гипертекстовых документов» в ауд. 763.

11.6.2008

Доклад Коннова Игоря Владимировича, сотрудника лаборатории информационных систем факультета ВМК МГУ: «Верификация параметризованных моделей распределённых систем».

5.3.2008

Доклад Чередниченко Александра, аспиранта кафедры Алгоритмических языков факультета ВМК МГУ: «Инструментальная система для интеграции компонентов лингвистических процессоров».

20.2.2008

Доклад Махортова Сергея Дмитриевича, канд. физ.-мат. наук, доцента, заведующего кафедрой МО ЭВМ Воронежского ГУ: «Основанные на решетках алгебраические модели продукционных систем и возможности их применения в некоторых задачах искусственного интеллекта и компьютерной алгебры».

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

Обновлено: 11.6.2008