Архив выступлений: 2006-2007 учебный год, осенний семестр
«Математическое и программное обеспечение систем управления объектами критически важных инфраструктур».
«GRID-технологии в управлении государственными информационными ресурсами».
«Использование формальных моделей при разработке средств автоматизированного распараллеливания программ».
«Методы управления транзакциями в прирождённых XML-СУБД».
«Формальная модель ядра системы автоматического распараллеливания».
«Система мониторинга поведения транспортного протокола на уровне ядра операционной системы».
«Организация контролируемого выполнения сложных систем».
«Парадигма проактивной безопасности компьютерных систем».
«Объекты критически важных инфраструктур: вопросы идентификации, кластеризации и категоризации».
«Объекты критически важных инфраструктур: анализ защищенности и риски успешной реализации компьютерных атак».
«Система мониторинга функционального состояния вычислительных структур: результаты и перспективы развития».
«Функциональные языки. Взгляд изнутри».
«Проблемы и перспективы молекулярных вычислений».