Программа (скачать)
Предварительная программа секций (от 01.06 2014)
Программа секций. Теория вычислимости (скачать).