Начинается чтение спецкурса "Введение в абстрактную интерпретацию",
лектор Емельянов Павел Геннадьевич.

Занятия будут проходить по средам с 18:10.
Первое занятие состоится 01 октября. Подходить к ауд. 4138 (кафедра программирования ММФ).