Научно-практическая конференция по программированию
Москва, 15–17 июня 2003 г.

Конференция для исследователей, преподавателей высших учебных заведений и аспирантов, специализирующихся в области информационных технологий.

Задачей конференции является представление достижений и тенденций в области технологии создания программного обеспечения, являющихся результатом деятельности корпорации Microsoft, ее исследовательских подразделений, а также ее взаимодействия с академическими институтами.

Конференция пройдет в форме пленарных лекций и докладов. Во время конференции у участников будет возможность пройти краткий ознакомительный практический тренинг по операционной системе Windows Server 2003.

Программа

• Executable Specifications: The Abstract State Machine Approach (in English), Юрий Гуревич, Microsoft Research
• Частичные вычисления для CIL, Андрей Климов, CILPE, Москва
• Виртуализация сервисов по размещению, хранению и управлению ресурсами и данными, Александр Тормасов, МФТИ, Москва
• T# : функциональный подход к параллельным вычислениям на платформе .NET, Александр Чудинов, ИПС РАН, Переславль-Залесский
• Основные элементы Microsoft Solutions Framework, Владимир Павлов, eLine Software, Днепропетровск
• Экосистемы разработки промышленного программного обеспечения, Евгений Веселов, Microsoft
• Применение технологии UniTesK для разработки тестов .NET компонентов, Алексей Демаков, ИСП РАН, Москва
• На пути к верификации С# программ, Игорь Ануреев, ИСИ СО РАН, Новосибирск
• Двунаправленная отладка в Microsoft .NET, Евгений Вигдорчик, СПбГУ, С.-Петербург
• MC#: язык асинхронного параллельного программирования для кластерных и GRID-архитектур, Юрий Сердюк, ИПС РАН, Переславль-Залесский
• Zonnon: A .NET Language beyond C# (in English), Jürg Gutknecht, ETH, Zurich
• Компилятор языка Zonnon: архитектура и принципы интеграции в среду Visual Studio, Евгений Зуев, ETH, Zurich
• Разработка CASE инструмента для платформы .NET на основе спецификации UML метамодел, Владимир Романов, МГУ, Москва
• Windows как ОС для высокопроизводительных вычислений, Андрей Чеповский, МГУ и МГТУ, Москва
• Microsoft Mobility Developer Conference 2003. Обзор презентаций и результатов, Всеволод Котляров, СПбГПУ, С.-Петербург
• Технологический процесс разработки учебно/развлекательного ПО в Microsoft, Алексей Пажитнов, Microsoft
• Учебный курс по разработке компиляторов на базе платформы .NET, Андрей Терехов, СПбГУ, С.-Петербург
• Cтратегия обучения разработке гетерогенных приложений для платформы .NET, Сергей Зыков, МИФИ, Москва
• Учебный курс по тестированию приложений, разработанных для платформы .NET, Татьяна Коликова, СПбГПУ, С.-Петербург
• Офисное программирование в высшем образовании, Владимир Биллиг, ТГУ, Тверь