Заседания семинара посвящены современным проблемам программной инженерии, методам и инструментам разработки, анализа и тестирования программ. В список тем семинара входят:

• Извлечение, анализ и моделирование требований
• Парадигмы моделирования вычислительных систем
• Методы проектирования систем
• Архитектуры программных систем
• Статический и динамический анализ программ
• Динамическая верификация и мониторинг
• Автоматизация построения тестов
• Анализ полноты тестирования
• Моделирование, измерение и тестирование производительности
• Анализ защищенности и безопасности вычислительных систем
• Интеграция различных методов верификации
• Проблемы внедрения новых технологий в практику разработки
• Вопросы обучения технологиям разработки и анализа программ

Семинар рассчитан на студентов, аспирантов и их руководителей, а также практиков и специалистов из индустрии. О планах активно принимать участие в семинаре заявили представители компаний Intel, Microsoft, Яндекс и др.

Заседания семинара проходят раз в месяц по четвергам в 18:00, на факультете ВМК во 2-ом учебном корпусе МГУ в аудитории П-13.