Program (download)
Preliminary program of sections (on June 1)
Program of sections. Computability Theory (download)